From 4648353784230141fed29d5eb81cc9fdcc950cae Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Mon, 7 Apr 2025 21:17:32 +0100
Subject: [PATCH] Refine-arithmetic supports simplifier

This fixes a regression introduced by
f1be42c3552e8c91d527ef2481e7a37d3dcfe872
---
 src/goto-checker/solver_factory.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/goto-checker/solver_factory.cpp b/src/goto-checker/solver_factory.cpp
index 2fdbf1cc03b..a82d914d7e3 100644
--- a/src/goto-checker/solver_factory.cpp
+++ b/src/goto-checker/solver_factory.cpp
@@ -204,7 +204,6 @@ get_sat_solver(message_handlert &message_handler, const optionst &options)
 {
   const bool no_simplifier = options.get_bool_option("beautify") ||
                              !options.get_bool_option("sat-preprocessor") ||
-                             options.get_bool_option("refine-arithmetic") ||
                              options.get_bool_option("refine-strings");
 
   if(options.is_set("sat-solver"))