--- 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;