From 3a3e176dce6b59d80811207c082e477142a3fa31 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 22 Jan 2025 13:30:12 -0800 Subject: [PATCH] fix build for tests --- 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 f08491c60..ba27ab2bd 100644 --- a/src/test/sls_test.cpp +++ b/src/test/sls_test.cpp @@ -19,7 +19,7 @@ namespace bv { sat::clause_info const& get_clause(unsigned idx) const override { return m_clauses[idx]; } ptr_iterator get_use_list(sat::literal lit) override { return ptr_iterator(nullptr, nullptr); } void flip(sat::bool_var v) override { } - sat::bool_var bool_flip() override { return sat::null_bool_var; } + sat::bool_var external_flip() override { return sat::null_bool_var; } 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; }