src/Pure/Isar/overloading.ML

--- a/src/Pure/Isar/overloading.ML	Wed Aug 11 17:16:02 2010 +0200
+++ b/src/Pure/Isar/overloading.ML	Wed Aug 11 17:19:27 2010 +0200
@@ -218,7 +218,6 @@
         declaration = K Generic_Target.theory_declaration,
         syntax_declaration = K Generic_Target.theory_declaration,
         pretty = single o pretty,
-        reinit = gen_overloading prep_const raw_ops o ProofContext.theory_of,
         exit = Local_Theory.target_of o conclude}
   end;