diff options
Diffstat (limited to 'vernac/topfmt.ml')
| -rw-r--r-- | vernac/topfmt.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/vernac/topfmt.ml b/vernac/topfmt.ml index 046defc26b..45f40b1258 100644 --- a/vernac/topfmt.ml +++ b/vernac/topfmt.ml @@ -368,12 +368,12 @@ let pr_loc loc = match fname with | Loc.ToplevelInput -> Loc.(str"Toplevel input, characters " ++ int loc.bp ++ - str"-" ++ int loc.ep ++ str":") + str"-" ++ int loc.ep ++ str":") | Loc.InFile fname -> Loc.(str"File " ++ str "\"" ++ str fname ++ str "\"" ++ - str", line " ++ int loc.line_nb ++ str", characters " ++ - int (loc.bp-loc.bol_pos) ++ str"-" ++ int (loc.ep-loc.bol_pos) ++ - str":") + str", line " ++ int loc.line_nb ++ str", characters " ++ + int (loc.bp-loc.bol_pos) ++ str"-" ++ int (loc.ep-loc.bol_pos) ++ + str":") let pr_phase ?loc () = match !default_phase, loc with |