changeset 69349 | 7cef9e386ffe |
parent 69289 | bf6937af7fe8 |
child 69592 | a80d8ec6c998 |
--- a/src/Pure/Tools/named_theorems.ML Tue Nov 27 16:22:12 2018 +0100 +++ b/src/Pure/Tools/named_theorems.ML Tue Nov 27 21:07:39 2018 +0100 @@ -104,7 +104,7 @@ val _ = Theory.setup (ML_Antiquotation.inline \<^binding>\<open>named_theorems\<close> - (Args.context -- Scan.lift (Parse.position Args.embedded) >> + (Args.context -- Scan.lift Args.embedded_position >> (fn (ctxt, name) => ML_Syntax.print_string (check ctxt name)))); end;