diff -r 8403bd51f8b1 -r 042041c0ebeb src/Pure/Tools/plugin.ML
--- a/src/Pure/Tools/plugin.ML	Wed Oct 20 20:04:28 2021 +0200
+++ b/src/Pure/Tools/plugin.ML	Wed Oct 20 20:25:33 2021 +0200
@@ -40,7 +40,7 @@
 
 val _ = Theory.setup
   (ML_Antiquotation.inline_embedded \<^binding>\<open>plugin\<close>
-    (Args.context -- Scan.lift Args.embedded_position >> (ML_Syntax.print_string o uncurry check)));
+    (Args.context -- Scan.lift Parse.embedded_position >> (ML_Syntax.print_string o uncurry check)));
 
 
 (* indirections *)