diff -r c8a9a5e577bd -r ac069060e08a src/Tools/adhoc_overloading.ML
--- 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;