From efde65603622ae54ef82050b0ade3f3218b2d54b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 10 Oct 2024 16:38:00 -0700
Subject: [PATCH] fix recursive self call for slice_solver check-sat-cc method

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

diff --git a/src/solver/slice_solver.cpp b/src/solver/slice_solver.cpp
index 7c4e1fb8200..28815b4d6b3 100644
--- 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 {