fix a double @
authorSimon Marlow <marlowsd@gmail.com>
Tue, 29 Jun 2010 14:13:21 +0000 (14:13 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 29 Jun 2010 14:13:21 +0000 (14:13 +0000)
report/exps.verb

index ea02d7c..bb8b668 100644 (file)
@@ -1206,7 +1206,7 @@ and allow one to use "var"
 as a name for the value being matched by "pat".  For example,\nopagebreak[4]
 \bprog
 @
-case e of { xs@@(x:rest) -> if x==0 then rest else xs }
+case e of { xs@(x:rest) -> if x==0 then rest else xs }
 @
 \eprog
 is equivalent to: