From 74c6eafde4f3f8cdc758bc1338572d6887aae8de Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 13 Aug 2024 15:20:44 -0700
Subject: [PATCH] Update sls_test.cpp

---
 src/test/sls_test.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp
index 64961abc2..ff530aa4f 100644
--- a/src/test/sls_test.cpp
+++ b/src/test/sls_test.cpp
@@ -25,6 +25,8 @@ namespace bv {
         void on_model(model_ref& mdl) override {}
         sat::bool_var add_var() override { return sat::null_bool_var;}
         void add_clause(unsigned n, sat::literal const* lits) override {}
+        void collect_statistics(statistics& st) override {}
+        void reset_statistics() override {}
     };
 
     class sls_test {