changeset 67146 | 909dcdec2122 |
parent 64556 | 851ae0e7b09c |
child 67147 | dea94b1aabc3 |
--- a/src/Pure/simplifier.ML Wed Dec 06 14:19:36 2017 +0100 +++ b/src/Pure/simplifier.ML Wed Dec 06 15:46:35 2017 +0100 @@ -113,7 +113,7 @@ val _ = Theory.setup (ML_Antiquotation.value @{binding simproc} - (Args.context -- Scan.lift (Parse.position Args.name) + (Args.context -- Scan.lift (Parse.position Args.embedded) >> (fn (ctxt, name) => "Simplifier.the_simproc ML_context " ^ ML_Syntax.print_string (check_simproc ctxt name))));