--- a/src/Tools/adhoc_overloading.ML Thu Nov 10 17:41:36 2011 +0100
+++ b/src/Tools/adhoc_overloading.ML Thu Nov 10 17:47:25 2011 +0100
@@ -132,8 +132,8 @@
(* setup *)
val setup = Context.theory_map
- (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);
+ (Syntax_Phases.term_check' 0 "adhoc_overloading" check
+ #> Syntax_Phases.term_check' 1 "adhoc_overloading_unresolved_check" reject_unresolved
+ #> Syntax_Phases.term_uncheck' 0 "adhoc_overloading" uncheck);
end;