src/Pure/ML/ml_antiquotation.ML
changeset 67146 909dcdec2122
parent 64556 851ae0e7b09c
child 69349 7cef9e386ffe
     1.1 --- a/src/Pure/ML/ml_antiquotation.ML	Wed Dec 06 14:19:36 2017 +0100
     1.2 +++ b/src/Pure/ML/ml_antiquotation.ML	Wed Dec 06 15:46:35 2017 +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.name) >> ML_Syntax.make_binding) #>
     1.8 +    (Scan.lift (Parse.position Args.embedded) >> ML_Syntax.make_binding) #>
     1.9  
    1.10    value (Binding.make ("cartouche", \<^here>))
    1.11      (Scan.lift Args.cartouche_input >> (fn source =>