src/HOLCF/Tools/cont_consts.ML

--- a/src/HOLCF/Tools/cont_consts.ML	Sun Feb 21 21:41:29 2010 +0100
+++ b/src/HOLCF/Tools/cont_consts.ML	Sun Feb 21 22:35:02 2010 +0100
@@ -46,7 +46,7 @@
 *)
 fun transform thy (c, T, mx) =
   let
-    fun syntax b = Syntax.constN ^ Sign.full_bname thy b;
+    fun syntax b = Syntax.mark_const (Sign.full_bname thy b);
     val c1 = Binding.name_of c;
     val c2 = c1 ^ "_cont_syntax";
     val n = Syntax.mixfix_args mx;