src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Tue Sep 22 08:38:25 2015 +0200
+++ b/src/Pure/axclass.ML	Tue Sep 22 14:32:23 2015 +0200
@@ -614,7 +614,8 @@
     thy
     |> Sign.primitive_class (bclass, super)
     |> classrel_axiomatization (map (fn c => (class, c)) super)
-    |> Theory.add_deps_global "" (class_const class) (map class_const super)
+    |> Theory.add_deps_global "" (Theory.DConst (class_const class)) 
+      (map (Theory.DConst o class_const) super)
   end;
 
 end;