src/Pure/Isar/overloading.ML

--- a/src/Pure/Isar/overloading.ML	Fri Oct 28 17:15:52 2011 +0200
+++ b/src/Pure/Isar/overloading.ML	Fri Oct 28 22:17:30 2011 +0200
@@ -207,7 +207,6 @@
           (fn prmode => fn (b, mx) => fn (t, _) => fn _ =>
             Generic_Target.theory_abbrev prmode ((b, mx), t)),
         declaration = K Generic_Target.theory_declaration,
-        syntax_declaration = K Generic_Target.theory_declaration,
         pretty = pretty,
         exit = Local_Theory.target_of o conclude}
   end;