src/Pure/ML/ml_antiquotation.ML
changeset 69349 7cef9e386ffe
parent 67146 909dcdec2122
child 69470 c8c3285f1294
     1.1 --- a/src/Pure/ML/ml_antiquotation.ML	Tue Nov 27 16:22:12 2018 +0100
     1.2 +++ b/src/Pure/ML/ml_antiquotation.ML	Tue Nov 27 21:07:39 2018 +0100
     1.3 @@ -41,7 +41,7 @@
     1.4    inline (Binding.make ("make_string", \<^here>)) (Args.context >> K ML_Pretty.make_string_fn) #>
     1.5  
     1.6    value (Binding.make ("binding", \<^here>))
     1.7 -    (Scan.lift (Parse.position Args.embedded) >> ML_Syntax.make_binding) #>
     1.8 +    (Scan.lift (Parse.input Args.embedded) >> (ML_Syntax.make_binding o Input.source_content)) #>
     1.9  
    1.10    value (Binding.make ("cartouche", \<^here>))
    1.11      (Scan.lift Args.cartouche_input >> (fn source =>