diff -r 451d5b73f8cf -r 1bc0bea908c3 src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Wed Mar 12 21:58:48 2014 +0100
+++ b/src/Doc/antiquote_setup.ML	Wed Mar 12 22:41:04 2014 +0100
@@ -267,7 +267,7 @@
     entity_antiqs no_check "" "inference" #>
     entity_antiqs no_check "isatt" "executable" #>
     entity_antiqs (K check_tool) "isatool" "tool" #>
-    entity_antiqs (can o ML_Context.check_antiq) "" Markup.ML_antiquotationN #>
+    entity_antiqs (can o ML_Context.check_antiquotation) "" Markup.ML_antiquotationN #>
     entity_antiqs (K (is_action o #1)) "isatt" "action");
 
 end;