diff options
Diffstat (limited to 'toplevel/coqc.ml')
| -rw-r--r-- | toplevel/coqc.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/toplevel/coqc.ml b/toplevel/coqc.ml index 64d8e69121..a04552e8db 100644 --- a/toplevel/coqc.ml +++ b/toplevel/coqc.ml @@ -62,7 +62,5 @@ let main () = flush_all(); Topfmt.print_err_exn exn; flush_all(); - let exit_code = - if CErrors.(is_anomaly exn || not (handled exn)) then 129 else 1 - in + let exit_code = if (CErrors.is_anomaly exn) then 129 else 1 in exit exit_code |