From 7247bbb78f3d5629ef65404b9f0d04643dfbea88 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 12 Dec 2023 14:42:34 -0800 Subject: [PATCH] na/ --- src/sat/smt/intblast_solver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/smt/intblast_solver.h b/src/sat/smt/intblast_solver.h index 707f53832..2e0d2017f 100644 --- a/src/sat/smt/intblast_solver.h +++ b/src/sat/smt/intblast_solver.h @@ -113,7 +113,7 @@ namespace intblast { void get_antecedents(sat::literal l, sat::ext_justification_idx idx, sat::literal_vector& r, bool probing) override {} - sat::check_result check() override { return sat::check_result::CR_DONE; } + sat::check_result check() override; std::ostream& display_justification(std::ostream& out, sat::ext_justification_idx idx) const override { return out; }