changeset 69349 | 7cef9e386ffe |
parent 68403 | 223172b97d0b |
child 69592 | a80d8ec6c998 |
--- a/src/Pure/simplifier.ML Tue Nov 27 16:22:12 2018 +0100 +++ b/src/Pure/simplifier.ML Tue Nov 27 21:07:39 2018 +0100 @@ -115,7 +115,7 @@ val _ = Theory.setup (ML_Antiquotation.value \<^binding>\<open>simproc\<close> - (Args.context -- Scan.lift (Parse.position Args.embedded) + (Args.context -- Scan.lift Args.embedded_position >> (fn (ctxt, name) => "Simplifier.the_simproc ML_context " ^ ML_Syntax.print_string (check_simproc ctxt name))));