diff -r 01db1bed4487 -r 70b8085f51b4 src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Tue Nov 10 21:52:18 2015 +0100
+++ b/src/Doc/antiquote_setup.ML	Tue Nov 10 22:20:46 2015 +0100
@@ -166,8 +166,6 @@
     | SOME path => (Context_Position.report ctxt pos (Markup.path (Path.implode path)); true))
   end;
 
-fun check_action _ = can JEdit.check_action;
-
 val arg = enclose "{" "}" o clean_string;
 
 fun entity check markup binding index =
@@ -222,7 +220,7 @@
     entity_antiqs no_check "isasystem" @{binding executable} #>
     entity_antiqs check_tool "isatool" @{binding tool} #>
     entity_antiqs ML_Context.check_antiquotation "" @{binding ML_antiquotation} #>
-    entity_antiqs check_action "isasystem" @{binding action});
+    entity_antiqs (K JEdit.check_action) "isasystem" @{binding action});
 
 end;