src/Tools/subtyping.ML

--- a/src/Tools/subtyping.ML	Wed Nov 09 19:01:50 2011 +0100
+++ b/src/Tools/subtyping.ML	Wed Nov 09 20:47:11 2011 +0100
@@ -806,7 +806,7 @@
 val coercion_enabled = Attrib.setup_config_bool @{binding coercion_enabled} (K false);
 
 val add_term_check =
-  Syntax.add_term_check ~100 "coercions"
+  Syntax_Phases.term_check ~100 "coercions"
     (fn ctxt => Config.get ctxt coercion_enabled ? coercion_infer_types ctxt);