diff --git a/src/sat/smt/arith_solver.h b/src/sat/smt/arith_solver.h
index b11fafa43..a1d9c8629 100644
--- a/src/sat/smt/arith_solver.h
+++ b/src/sat/smt/arith_solver.h
@@ -427,8 +427,8 @@ namespace arith {
         void get_antecedents(literal l, sat::ext_justification_idx idx, literal_vector& r, bool probing) override;
         void asserted(literal l) override;
         sat::check_result check() override;
-        void simplify() override;
-        void init_search() override;
+        void simplify() override {}
+        void init_search() override {}
 
         std::ostream& display(std::ostream& out) const override;
         std::ostream& display_justification(std::ostream& out, sat::ext_justification_idx idx) const override;