src/Pure/Tools/named_theorems.ML

 
 (* ML antiquotation *)
 
 val _ = Theory.setup
   (ML_Antiquotation.inline_embedded \<^binding>\<open>named_theorems\<close>
-    (Args.context -- Scan.lift Args.embedded_position >>
+    (Args.context -- Scan.lift Parse.embedded_position >>
       (fn (ctxt, name) => ML_Syntax.print_string (check ctxt name))));
 
 end;