Rename rule
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 12 Jul 2008 04:27:15 +0000 (04:27 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 12 Jul 2008 04:27:15 +0000 (04:27 +0000)
Data/Vector/IVector.hs

index 4f3de24..0f01cbc 100644 (file)
@@ -124,7 +124,7 @@ unstream s = create (MVector.unstream s)
 
 {-# RULES
 
 
 {-# RULES
 
-"stream/unstream [Vector.IVector]" forall s.
+"stream/unstream [IVector]" forall s.
   stream (unstream s) = s
 
  #-}
   stream (unstream s) = s
 
  #-}