diff -r aa35c9454a95 -r fd58cbf8cae3 src/Pure/Isar/overloading.ML
--- a/src/Pure/Isar/overloading.ML	Wed Nov 09 19:01:50 2011 +0100
+++ b/src/Pure/Isar/overloading.ML	Wed Nov 09 20:47:11 2011 +0100
@@ -114,8 +114,8 @@
 
 val activate_improvable_syntax =
   Context.proof_map
-    (Syntax.context_term_check 0 "improvement" improve_term_check
-    #> Syntax.context_term_uncheck 0 "improvement" improve_term_uncheck)
+    (Syntax_Phases.context_term_check 0 "improvement" improve_term_check
+    #> Syntax_Phases.context_term_uncheck 0 "improvement" improve_term_uncheck)
   #> set_primary_constraints;