| changeset 74563 | 042041c0ebeb |
| parent 74561 | 8e6c973003c8 |
| child 74564 | 0a66a61e740c |
--- a/src/Pure/Isar/method.ML Wed Oct 20 20:04:28 2021 +0200 +++ b/src/Pure/Isar/method.ML Wed Oct 20 20:25:33 2021 +0200 @@ -427,7 +427,7 @@ val _ = Theory.setup (ML_Antiquotation.inline_embedded \<^binding>\<open>method\<close> - (Args.context -- Scan.lift Args.embedded_position >> + (Args.context -- Scan.lift Parse.embedded_position >> (ML_Syntax.print_string o uncurry check_name)));