diff -r 15865e0c5598 -r 9ce5de06cd3b src/Pure/axclass.ML
--- a/src/Pure/axclass.ML	Tue Sep 22 22:38:22 2015 +0200
+++ b/src/Pure/axclass.ML	Tue Sep 22 22:42:48 2015 +0200
@@ -597,7 +597,7 @@
   (Logic.const_of_class c, Term.itselfT (Term.aT []) --> propT);
 
 fun class_const_dep c =
-  ((Defs.Constant, Logic.const_of_class c), [Term.aT []]);
+  ((Defs.Const, Logic.const_of_class c), [Term.aT []]);
 
 in