diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/cerrors.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml index a1ac9f1846..9d1d8d1846 100644 --- a/toplevel/cerrors.ml +++ b/toplevel/cerrors.ml @@ -67,9 +67,9 @@ let rec explain_exn_default_aux anomaly_string report_fn = function | Invalid_argument s -> hov 0 (anomaly_string () ++ str "uncaught exception Invalid_argument " ++ str (guill s) ++ report_fn ()) | Sys.Break -> - hov 0 (fnl () ++ str "User Interrupt.") + hov 0 (fnl () ++ str "User interrupt.") | Univ.UniverseInconsistency -> - hov 0 (str "Error: Universe Inconsistency.") + hov 0 (str "Error: Universe inconsistency.") | TypeError(ctx,te) -> hov 0 (str "Error:" ++ spc () ++ Himsg.explain_type_error ctx te) | PretypeError(ctx,te) -> |