src/Pure/Isar/class_declaration.ML

--- a/src/Pure/Isar/class_declaration.ML	Tue Jul 05 23:39:49 2016 +0200
+++ b/src/Pure/Isar/class_declaration.ML	Wed Jul 06 11:29:51 2016 +0200
@@ -327,7 +327,7 @@
     #> Class.register class sups params base_sort base_morph export_morph some_axiom some_assm_intro of_class
     #> Global_Theory.store_thm (prefix (Binding.qualified_name (class ^ ".of_class.intro")), of_class)))
     |> snd
-    |> Named_Target.init class
+    |> Named_Target.init NONE class
     |> pair class
   end;