remove unused option

a16z · Dec 21, 2023 · 5a01d80 · 5a01d80
1 parent 8f8ca0c
commit 5a01d80
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/halmos/parser.py b/src/halmos/parser.py
@@ -145,11 +145,6 @@ def mk_arg_parser() -> argparse.ArgumentParser:
         action="store_true",
         help="print full counterexample model",
     )
-    group_debug.add_argument(
-        "--error-unknown",
-        action="store_true",
-        help="turn unknown counterexample warnings to errors",
-    )
     group_debug.add_argument(
         "--early-exit",
         action="store_true",