From 8cc7afa58a73dee3d1cb59c26e94f1e5b91f13d2 Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Thu, 28 Jul 2022 10:51:06 +0200
Subject: [PATCH] Rebase fix

---
 src/bin/common/parse_command.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
index dceb514dd8..7b556e7c6c 100644
--- a/src/bin/common/parse_command.ml
+++ b/src/bin/common/parse_command.ml
@@ -438,7 +438,7 @@ let halt_opt version_info where =
   with Failure f -> `Error (false, f)
      | Error (b, m) -> `Error (b, m)
 
-let mk_opts file () () () () () () halt_opt (gc) () () () () () () () () ()
+let mk_opts file () () () () () () halt_opt (gc) () () () () () () () ()
   =
 
   if halt_opt then `Ok false
@@ -632,6 +632,10 @@ let parse_dbg_opt_spl3 =
     let doc = "Set the debugging flag of warnings." in
     Arg.(value & flag & info ["dwarnings"] ~docs ~doc) in
 
+  let debug_simplify =
+    let doc = "Set the debugging flag of the simplifier." in
+    Arg.(value & flag & info ["dsimplify"] ~docs ~doc) in
+
   let rule =
     let doc =
       "$(docv) = parsing|typing|sat|cc|arith, output rule used on stderr." in
@@ -649,6 +653,7 @@ let parse_dbg_opt_spl3 =
              debug_unsat_core $
              debug_use $
              debug_warnings $
+             debug_simplify $
              rule
             ))
 
@@ -1281,6 +1286,7 @@ let main =
       `S s_halt;
       `S s_fmt;
       `S s_debug;
+      `S s_simp;
       `P "These options are used to output debug info for the concerned \
           part of the solver.\
           They are $(b,not) used to check internal consistency.";