src/Pure/Isar/overloading.ML

--- a/src/Pure/Isar/overloading.ML	Fri Apr 25 17:54:54 2014 +0200
+++ b/src/Pure/Isar/overloading.ML	Fri Apr 25 21:45:04 2014 +0200
@@ -205,6 +205,7 @@
         notes = Generic_Target.notes Generic_Target.theory_notes,
         abbrev = Generic_Target.abbrev Generic_Target.theory_abbrev,
         declaration = K Generic_Target.theory_declaration,
+        subscription = Generic_Target.theory_registration,
         pretty = pretty,
         exit = conclude #> Local_Theory.target_of #> Sign.change_end_local}
   end;