diff -r 542f2c6da692 -r f6ded81f5690 src/Pure/Isar/overloading.ML
--- a/src/Pure/Isar/overloading.ML	Fri Dec 18 14:23:11 2015 +0100
+++ b/src/Pure/Isar/overloading.ML	Sat Dec 19 11:05:04 2015 +0100
@@ -204,7 +204,8 @@
         notes = Generic_Target.notes Generic_Target.theory_target_notes,
         abbrev = Generic_Target.abbrev Generic_Target.theory_target_abbrev,
         declaration = K Generic_Target.theory_declaration,
-        subscription = Generic_Target.theory_registration,
+        theory_registration = Generic_Target.theory_registration,
+        locale_dependency = fn _ => error "Not possible in overloading target",
         pretty = pretty,
         exit = conclude #> Local_Theory.target_of #> Sign.change_end_local}
   end;