From 1d224d1bcdc067e8424eaa1df41a63f88b18e210 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 8 Mar 2022 08:51:00 -0800 Subject: [PATCH] na --- src/sat/smt/arith_solver.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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;