Skip to content

Commit

Permalink
Fix crash with the --help option
Browse files Browse the repository at this point in the history
  • Loading branch information
ineol committed Jun 5, 2024
1 parent a15abfb commit 121c2d8
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion coq/args.ml
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,10 @@ let int_backend =
in
Arg.(
value
& opt (enum [ ("Coq", Some Limits.Coq); ("Mp", Some Limits.Mp) ]) None
& opt
(enum
[ ("Coq", Some Limits.Coq); ("Mp", Some Limits.Mp); ("auto", None) ])
None
& info [ "int_backend" ] ~docv:"INT_BACKEND" ~doc)

let roots : string list Term.t =
Expand Down

0 comments on commit 121c2d8

Please sign in to comment.