From 9dc9de13316409cede78d0a383bf84bed824f9ac Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 10 Aug 2024 14:53:56 -1000 Subject: [PATCH] cleanup --- src/nlsat/nlsat_simple_checker.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/nlsat/nlsat_simple_checker.h b/src/nlsat/nlsat_simple_checker.h index 969c7a141..1a854e855 100644 --- a/src/nlsat/nlsat_simple_checker.h +++ b/src/nlsat/nlsat_simple_checker.h @@ -7,7 +7,6 @@ namespace nlsat { struct imp; imp * m_imp; public: - // Simple_Checker(solver &_sol, pmanager &_pm, anum_manager &_am, const clause_vector &_clauses, clause_vector &_learned, const atom_vector &_atoms, const unsigned &_arith_var_num); Simple_Checker(pmanager &_pm, anum_manager &_am, const clause_vector &_clauses, literal_vector &_learned_unit, const atom_vector &_atoms, const unsigned &_arith_var_num); ~Simple_Checker(); bool operator()();