From 33f0256e206a8f7d02ed9d5159492ee69f6a45b3 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()();