src/Pure/General/symbol_pos.ML

--- a/src/Pure/General/symbol_pos.ML	Fri Apr 01 17:23:15 2016 +0200
+++ b/src/Pure/General/symbol_pos.ML	Fri Apr 01 17:37:46 2016 +0200
@@ -63,7 +63,7 @@
 
 fun range (syms as (_, pos) :: _) =
       let val pos' = List.last syms |-> Position.advance
-      in Position.range pos pos' end
+      in Position.range (pos, pos') end
   | range [] = Position.no_range;