From 5a01d801bc9120cbef834db360da1548d5966a54 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Thu, 21 Dec 2023 00:41:25 -0800
Subject: [PATCH] remove unused option

---
 src/halmos/parser.py | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/halmos/parser.py b/src/halmos/parser.py
index b48e53d7..30fe9235 100644
--- 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",