diff options
Diffstat (limited to 'toplevel/coqargs.ml')
| -rw-r--r-- | toplevel/coqargs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml index 778aaf8886..7e3759f177 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -10,7 +10,7 @@ let fatal_error exn = Topfmt.(in_phase ~phase:ParsingCommandLine print_err_exn exn); - 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 let error_wrong_arg msg = |