diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-02-26 13:29:31 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-02-26 13:29:31 +0000 |
| commit | ef938a78783d07d4c19cf55de1d7e72bd1f00900 (patch) | |
| tree | 0c36cb5160bef49c2979668848f14c334bc2f677 | |
| parent | ec45b88a4a5b8dc2ca0b515faf994752b6bec680 (diff) | |
newline after position (easier to parse)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | parsing/location.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |