From e4b7b7bdf6f812767966eb0bea4421a1d4551437 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 2 Sep 2020 13:52:24 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/sat/smt/ba_solver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/smt/ba_solver.h b/src/sat/smt/ba_solver.h index 8ff891cb5..38d682be3 100644 --- a/src/sat/smt/ba_solver.h +++ b/src/sat/smt/ba_solver.h @@ -305,7 +305,7 @@ namespace sat { unsigned_vector m_weights; svector m_wlits; - euf::th_solver* ba_solver::fresh(sat::solver* new_s, ast_manager& m, sat::sat_internalizer& si, euf::theory_id id); + euf::th_solver* fresh(sat::solver* new_s, ast_manager& m, sat::sat_internalizer& si, euf::theory_id id); bool subsumes(card& c1, card& c2, literal_vector& comp); bool subsumes(card& c1, clause& c2, bool& self);