diff options
| -rw-r--r-- | toplevel/toplevel.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/toplevel.ml b/toplevel/toplevel.ml index 972fd22b4e..8bd6ba8e4a 100644 --- a/toplevel/toplevel.ml +++ b/toplevel/toplevel.ml @@ -234,8 +234,8 @@ let print_toplevel_error exc = | Vernacinterp.Quit -> raise Vernacinterp.Quit | _ -> - (if is_pervasive_exn exc then (mt ()) else locstrm ++ - Errors.explain_exn exc) + (if is_pervasive_exn exc then (mt ()) else locstrm) ++ + Errors.explain_exn exc (* Read the input stream until a dot is encountered *) let parse_to_dot = |