Sign.add_const_constraint;

--- a/src/Pure/axclass.ML	Sat Sep 29 21:39:44 2007 +0200
+++ b/src/Pure/axclass.ML	Sat Sep 29 21:39:45 2007 +0200
@@ -378,7 +378,7 @@
       |> (map o apsnd o map) (Sign.cert_prop thy)
       |> rpair thy;
     fun add_constraint class (c, ty) =
-      Sign.add_const_constraint_i (c, SOME
+      Sign.add_const_constraint (c, SOME
         (Term.map_type_tfree (fn (v, _) => TFree (v, [class])) ty));
   in
     thy