From 3a8195b9c3875cbce4fe6a89c6874923d34479a9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 12 Oct 2024 11:48:30 -0700
Subject: [PATCH] #7419

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/params/context_params.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/params/context_params.cpp b/src/params/context_params.cpp
index 1d5d10b39..a5c907208 100644
--- 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;