diff -r 9bfaf6819291 -r c7139609b67d src/Tools/adhoc_overloading.ML
--- a/src/Tools/adhoc_overloading.ML	Tue Apr 19 10:50:54 2011 +0200
+++ b/src/Tools/adhoc_overloading.ML	Tue Apr 19 14:57:09 2011 +0200
@@ -134,8 +134,8 @@
 (* setup *)
 
 val setup = Context.theory_map 
-  (Syntax.add_term_check 0 "adhoc_overloading" check
-   #> Syntax.add_term_check 1 "adhoc_overloading_unresolved_check" reject_unresolved
-   #> Syntax.add_term_uncheck 0 "adhoc_overloading" uncheck);
+  (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);
 
 end