src/Pure/ML/ml_lex.ML

--- a/src/Pure/ML/ml_lex.ML	Fri Apr 01 17:23:15 2016 +0200
+++ b/src/Pure/ML/ml_lex.ML	Fri Apr 01 17:37:46 2016 +0200
@@ -312,7 +312,7 @@
         let
           val pos1 = List.last syms |-> Position.advance;
           val pos2 = Position.advance Symbol.space pos1;
-        in [Antiquote.Text (Token (Position.range pos1 pos2, (Space, Symbol.space)))] end;
+        in [Antiquote.Text (Token (Position.range (pos1, pos2), (Space, Symbol.space)))] end;
 
     val scan = if SML then scan_sml else scan_ml_antiq;
     fun check (Antiquote.Text tok) = (check_content_of tok; if SML then () else warn tok)