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()();