fix recursive self call for slice_solver check-sat-cc method

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Oct 10, 2024 · efde656 · efde656
1 parent 54d30f2
commit efde656
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/solver/slice_solver.cpp b/src/solver/slice_solver.cpp
@@ -373,7 +373,7 @@ class slice_solver : public solver {
 
     lbool check_sat_cc(expr_ref_vector const& cube, vector<expr_ref_vector> const& clauses) override {
         flush();
-        return check_sat_cc(cube, clauses);
+        return s->check_sat_cc(cube, clauses);
     }
 
     lbool find_mutexes(expr_ref_vector const& vars, vector<expr_ref_vector>& mutexes) override {