--- a/src/Tools/adhoc_overloading.ML Wed Nov 09 19:01:50 2011 +0100
+++ b/src/Tools/adhoc_overloading.ML Wed Nov 09 20:47:11 2011 +0100
@@ -132,8 +132,8 @@
(* setup *)
val setup = Context.theory_map
- (Syntax.context_term_check 0 "adhoc_overloading" check
- #> Syntax.context_term_check 1 "adhoc_overloading_unresolved_check" reject_unresolved
- #> Syntax.context_term_uncheck 0 "adhoc_overloading" uncheck);
+ (Syntax_Phases.context_term_check 0 "adhoc_overloading" check
+ #> Syntax_Phases.context_term_check 1 "adhoc_overloading_unresolved_check" reject_unresolved
+ #> Syntax_Phases.context_term_uncheck 0 "adhoc_overloading" uncheck);
end;