--- a/src/Pure/Tools/class_package.ML Fri Sep 15 22:56:08 2006 +0200
+++ b/src/Pure/Tools/class_package.ML Fri Sep 15 22:56:13 2006 +0200
@@ -416,7 +416,7 @@
val t' = case mk_typnorm thy_read (ty', ty)
of NONE => error ("superfluous definition for constant " ^
quote c ^ "::" ^ Sign.string_of_typ thy_read ty)
- | SOME norm => map_term_types norm t
+ | SOME norm => map_types norm t
in (((class, tyco), ((name, t'), atts)), AList.delete (op =) c cs) end;
in fold_map read defs cs end;
val (defs, _) = assume_arities_thy theory arities_pair (read_defs raw_defs cs);