diff options
| -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 |