src/HOLCF/Tools/cont_consts.ML

--- a/src/HOLCF/Tools/cont_consts.ML	Tue Sep 25 13:28:35 2007 +0200
+++ b/src/HOLCF/Tools/cont_consts.ML	Tue Sep 25 13:28:37 2007 +0200
@@ -91,7 +91,7 @@
     |> Sign.add_trrules_i (List.concat (map third transformed_decls))
   end;
 
-val add_consts = gen_add_consts Sign.read_typ;
+val add_consts = gen_add_consts Syntax.read_typ_global;
 val add_consts_i = gen_add_consts Sign.certify_typ;