changeset 67146 | 909dcdec2122 |
parent 59880 | 30687c3f2b10 |
child 67147 | dea94b1aabc3 |
--- a/src/Pure/Tools/plugin.ML Wed Dec 06 14:19:36 2017 +0100 +++ b/src/Pure/Tools/plugin.ML Wed Dec 06 15:46:35 2017 +0100 @@ -41,7 +41,7 @@ val _ = Theory.setup (ML_Antiquotation.inline @{binding plugin} - (Args.context -- Scan.lift (Parse.position Args.name) + (Args.context -- Scan.lift (Parse.position Args.embedded) >> (ML_Syntax.print_string o uncurry check)));