src/HOLCF/cont_consts.ML

--- a/src/HOLCF/cont_consts.ML	Fri Jan 13 17:39:41 2006 +0100
+++ b/src/HOLCF/cont_consts.ML	Sat Jan 14 17:14:06 2006 +0100
@@ -72,7 +72,7 @@
 fun is_contconst (_,_,NoSyn   ) = false
 |   is_contconst (_,_,Binder _) = false
 |   is_contconst (c,T,mx      ) = cfun_arity T >= Syntax.mixfix_args mx
-                         handle ERROR => error ("in mixfix annotation for " ^
+                         handle ERROR msg => cat_error msg ("in mixfix annotation for " ^
                                                quote (Syntax.const_name c mx));