Fix crash with the --help option

ejgallego · Jun 5, 2024 · e2e07c1 · e2e07c1
1 parent a15abfb
commit e2e07c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq/args.ml b/coq/args.ml
@@ -90,7 +90,7 @@ 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 =