diff options
Diffstat (limited to 'toplevel/coqtop.ml')
| -rw-r--r-- | toplevel/coqtop.ml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index a97d8748a..f06edd316 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -317,12 +317,9 @@ let parse_args arglist = try parse arglist with - | UserError(_,s) as e -> begin - try - Stream.empty s; exit 1 - with Stream.Failure -> - fatal_error (Errors.print e) - end + | UserError(_, s) as e -> + if is_empty s then exit 1 + else fatal_error (Errors.print e) | e -> fatal_error (Errors.print e) let init arglist = |