From ef938a78783d07d4c19cf55de1d7e72bd1f00900 Mon Sep 17 00:00:00 2001
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
Date: Sat, 26 Feb 2000 13:29:31 +0000
Subject: [PATCH] newline after position (easier to parse)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 parsing/location.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/location.ml b/parsing/location.ml
index d050e3129..6e0b5099e 100644
--- a/parsing/location.ml
+++ b/parsing/location.ml
@@ -104,7 +104,7 @@ let (msg_file, msg_line, msg_chars, msg_to, msg_colon, msg_head) =
 let print loc =
   if String.length !input_name = 0 then
     if highlight_locations loc none then () else
-      printf "Characters %i-%i:@?" loc.loc_start loc.loc_end
+      printf "Characters %i-%i:@." loc.loc_start loc.loc_end
   else begin
     let (filename, linenum, linebeg) =
             Linenum.for_position !input_name loc.loc_start in