From 04824786be87cadac5c1c302e8852a1ca0c06027 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 13 Oct 2024 15:26:08 -0700
Subject: [PATCH] fix test for new signature of flip

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

diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp
index 296e2e860..b40261df3 100644
--- a/src/test/sls_test.cpp
+++ b/src/test/sls_test.cpp
@@ -16,7 +16,7 @@ namespace bv {
         vector<sat::clause_info> const& clauses() const override { return m_clauses; }
         sat::clause_info const& get_clause(unsigned idx) const override { return m_clauses[idx]; }
         ptr_iterator<unsigned> get_use_list(sat::literal lit) override { return ptr_iterator<unsigned>(nullptr, nullptr); }
-        void flip(sat::bool_var v) override {}
+        bool flip(sat::bool_var v) override { return true; }
         double reward(sat::bool_var v) override { return 0; }
         double get_weigth(unsigned clause_idx) override { return 0; }
         bool is_true(sat::literal lit) override { return true; }