src/Pure/ML/ml_lex.ML
changeset 62797 e08c44eed27f
parent 61814 1ca1142e1711
child 63204 921a5be54132
     1.1 --- a/src/Pure/ML/ml_lex.ML	Fri Apr 01 17:23:15 2016 +0200
     1.2 +++ b/src/Pure/ML/ml_lex.ML	Fri Apr 01 17:37:46 2016 +0200
     1.3 @@ -312,7 +312,7 @@
     1.4          let
     1.5            val pos1 = List.last syms |-> Position.advance;
     1.6            val pos2 = Position.advance Symbol.space pos1;
     1.7 -        in [Antiquote.Text (Token (Position.range pos1 pos2, (Space, Symbol.space)))] end;
     1.8 +        in [Antiquote.Text (Token (Position.range (pos1, pos2), (Space, Symbol.space)))] end;
     1.9  
    1.10      val scan = if SML then scan_sml else scan_ml_antiq;
    1.11      fun check (Antiquote.Text tok) = (check_content_of tok; if SML then () else warn tok)