From bfcd75595e14eab99bae6bd14d9b46995d1bd44d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 2 Jan 2025 21:03:50 -0800 Subject: [PATCH] update test file Signed-off-by: Nikolaj Bjorner --- 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 207e092614..cae586d21e 100644 --- a/src/test/sls_test.cpp +++ b/src/test/sls_test.cpp @@ -21,7 +21,7 @@ namespace bv { 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; } - bool try_rotate(sat::bool_var v, sat::bool_var_vector& rotated, unsigned& bound) { return false; } + bool try_rotate(sat::bool_var v, sat::bool_var_set& rotated, unsigned& bound) override { return false; } unsigned num_vars() const override { return 0; } indexed_uint_set const& unsat() const override { return s; } void on_model(model_ref& mdl) override {}