changeset 69592 | a80d8ec6c998 |
parent 69349 | 7cef9e386ffe |
child 74561 | 8e6c973003c8 |
--- a/src/Pure/Tools/plugin.ML Thu Jan 03 22:30:41 2019 +0100 +++ b/src/Pure/Tools/plugin.ML Fri Jan 04 21:49:06 2019 +0100 @@ -40,7 +40,7 @@ #1 o Name_Space.check (Context.Proof ctxt) (Data.get (Proof_Context.theory_of ctxt)); val _ = Theory.setup - (ML_Antiquotation.inline \<^binding>\<open>plugin\<close> + (ML_Antiquotation.inline_embedded \<^binding>\<open>plugin\<close> (Args.context -- Scan.lift Args.embedded_position >> (ML_Syntax.print_string o uncurry check)));