diff --git a/src/solver/slice_solver.cpp b/src/solver/slice_solver.cpp
index 7c4e1fb82..28815b4d6 100644
--- a/src/solver/slice_solver.cpp
+++ b/src/solver/slice_solver.cpp
@@ -373,7 +373,7 @@ public:
 
     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 {