src/Pure/ML/ml_compiler.ML

--- a/src/Pure/ML/ml_compiler.ML	Fri Apr 01 17:49:03 2016 +0200
+++ b/src/Pure/ML/ml_compiler.ML	Fri Apr 01 17:56:14 2016 +0200
@@ -38,7 +38,7 @@
 (* parse trees *)
 
 fun breakpoint_position loc =
-  let val pos = Position.reset_range (Exn_Properties.position_of_location loc) in
+  let val pos = Position.no_range_position (Exn_Properties.position_of_location loc) in
     (case Position.offset_of pos of
       NONE => pos
     | SOME 1 => pos