cleanup

Z3Prover · Aug 11, 2024 · 33f0256 · 33f0256
1 parent 752c999
commit 33f0256
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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()();