diff options
Diffstat (limited to 'toplevel/coqtop.ml')
| -rw-r--r-- | toplevel/coqtop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 5283130bc9..e43e6a8da4 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -103,7 +103,7 @@ let fatal_error_exn exn = Topfmt.(in_phase ~phase:Initialization print_err_exn exn); flush_all (); let exit_code = - if CErrors.(is_anomaly exn || not (handled exn)) then 129 else 1 + if (CErrors.is_anomaly exn) then 129 else 1 in exit exit_code |