diff -r 73d45866dbda -r 1dfdbd66093a src/HOLCF/Tools/cont_consts.ML
--- a/src/HOLCF/Tools/cont_consts.ML	Fri Oct 29 16:51:40 2010 -0700
+++ b/src/HOLCF/Tools/cont_consts.ML	Fri Oct 29 17:15:28 2010 -0700
@@ -28,7 +28,7 @@
   in
     [Syntax.ParsePrintRule
       (Syntax.mk_appl (Constant name2) (map Variable vnames),
-        fold (fn a => fn t => Syntax.mk_appl (Constant @{const_syntax Rep_CFun}) [t, Variable a])
+        fold (fn a => fn t => Syntax.mk_appl (Constant @{const_syntax Rep_cfun}) [t, Variable a])
           vnames (Constant name1))] @
     (case mx of
       Infix _ => [extra_parse_rule]