diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp
index ff530aa4f..756df1110 100644
--- a/src/test/sls_test.cpp
+++ b/src/test/sls_test.cpp
@@ -25,8 +25,10 @@ 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 {}
+        //        void collect_statistics(statistics& st) const override {}
+        // void reset_statistics() override {}
+        void force_restart() override {}
+        std::ostream& display(std::ostream& out)  override { return out; }
     };
 
     class sls_test {