--- a/src/HOLCF/Tools/cont_consts.ML Mon Feb 15 17:17:51 2010 +0100
+++ b/src/HOLCF/Tools/cont_consts.ML Mon Feb 15 18:03:42 2010 +0100
@@ -40,9 +40,9 @@
fold (fn arg => fn t => Syntax.mk_appl (Constant "Rep_CFun") [t, Variable arg])
vnames (Constant name1))] @
(case mx of
- InfixName _ => [extra_parse_rule]
- | InfixlName _ => [extra_parse_rule]
- | InfixrName _ => [extra_parse_rule]
+ Infix _ => [extra_parse_rule]
+ | Infixl _ => [extra_parse_rule]
+ | Infixr _ => [extra_parse_rule]
| _ => [])
end;