--- a/src/HOLCF/cont_consts.ML Mon Aug 10 17:06:02 1998 +0200
+++ b/src/HOLCF/cont_consts.ML Wed Aug 12 12:17:20 1998 +0200
@@ -35,7 +35,7 @@
val vnames = argnames (ord "A") n;
val extra_parse_rule = Syntax.ParseRule (Constant name2, Constant name1);
in [Syntax.ParsePrintRule (Ast.mk_appl (Constant name2) (map Variable vnames),
- foldl (fn (t,arg) => (Ast.mk_appl (Constant "fapp")
+ foldl (fn (t,arg) => (Ast.mk_appl (Constant "Rep_CFun")
[t,Variable arg]))
(Constant name1,vnames))]
@(case mx of InfixlName _ => [extra_parse_rule]