#7419

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Oct 12, 2024 · 3a8195b · 3a8195b
1 parent 7a0b58b
commit 3a8195b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/params/context_params.cpp b/src/params/context_params.cpp
@@ -202,7 +202,7 @@ bool context_params::is_shell_only_parameter(char const* _p) const {
     std::string p(_p);
     lower_case(p);
     if (p == "dump_models" || p == "well_sorted_check" ||
-        p == "model_validate" || p == "smtlib2_compliant" ||
+        p == "model_validate" || 
         p == "stats")
         return true;