diff options
Diffstat (limited to 'toplevel/cerrors.ml')
-rw-r--r-- | toplevel/cerrors.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml index b2154c74d..129794c58 100644 --- a/toplevel/cerrors.ml +++ b/toplevel/cerrors.ml @@ -85,8 +85,7 @@ let rec explain_exn_default = function hov 0 (str "Error:" ++ spc () ++ str "No constant of this name:" ++ spc () ++ Libnames.pr_qualid q) | Refiner.FailError i -> - hov 0 (str "Error: Fail tactic always fails (level " ++ - int i ++ str").") + hov 0 (str "Error: Tactic failed (level " ++ int i ++ str").") | Stdpp.Exc_located (loc,exc) -> hov 0 ((if loc = dummy_loc then (mt ()) else (str"At location " ++ print_loc loc ++ str":" ++ fnl ())) |