src/Pure/simplifier.ML

--- a/src/Pure/simplifier.ML	Wed Oct 20 20:04:28 2021 +0200
+++ b/src/Pure/simplifier.ML	Wed Oct 20 20:25:33 2021 +0200
@@ -114,7 +114,7 @@
 
 val _ = Theory.setup
   (ML_Antiquotation.value_embedded \<^binding>\<open>simproc\<close>
-    (Args.context -- Scan.lift Args.embedded_position
+    (Args.context -- Scan.lift Parse.embedded_position
       >> (fn (ctxt, name) =>
         "Simplifier.the_simproc ML_context " ^ ML_Syntax.print_string (check_simproc ctxt name))));