| changeset 74563 | 042041c0ebeb |
| parent 74561 | 8e6c973003c8 |
| child 78795 | f7e972d567f3 |
--- a/src/Pure/Tools/plugin.ML Wed Oct 20 20:04:28 2021 +0200 +++ b/src/Pure/Tools/plugin.ML Wed Oct 20 20:25:33 2021 +0200 @@ -40,7 +40,7 @@ val _ = Theory.setup (ML_Antiquotation.inline_embedded \<^binding>\<open>plugin\<close> - (Args.context -- Scan.lift Args.embedded_position >> (ML_Syntax.print_string o uncurry check))); + (Args.context -- Scan.lift Parse.embedded_position >> (ML_Syntax.print_string o uncurry check))); (* indirections *)