src/HOLCF/Tools/repdef.ML
changeset 35351 7425aece4ee3
parent 35203 ef65a2218c31
child 35525 fa231b86cb1e
--- a/src/HOLCF/Tools/repdef.ML	Wed Feb 24 07:06:39 2010 -0800
+++ b/src/HOLCF/Tools/repdef.ML	Wed Feb 24 20:37:01 2010 +0100
@@ -167,7 +167,7 @@
   Scan.optional (P.$$$ "(" |--
       ((P.$$$ "open" >> K false) -- Scan.option P.binding || P.binding >> (fn s => (true, SOME s)))
         --| P.$$$ ")") (true, NONE) --
-    (P.type_args -- P.binding) -- P.opt_infix -- (P.$$$ "=" |-- P.term) --
+    (P.type_args -- P.binding) -- P.opt_mixfix -- (P.$$$ "=" |-- P.term) --
     Scan.option (P.$$$ "morphisms" |-- P.!!! (P.binding -- P.binding));
 
 fun mk_repdef ((((((def, opt_name), (vs, t)), mx), A), morphs)) =