diff --git a/src/solver/solver.h b/src/solver/solver.h index e8823df4f..1cbc681c0 100644 --- a/src/solver/solver.h +++ b/src/solver/solver.h @@ -64,19 +64,19 @@ public: /** \brief Enable/Disable proof production for this solver object. - It is invoked before init(m, logic). + It is invoked after init(m, logic). */ virtual void set_produce_proofs(bool f) {} /** \brief Enable/Disable model generation for this solver object. - It is invoked before init(m, logic). + It is invoked after init(m, logic). */ virtual void set_produce_models(bool f) {} /** \brief Enable/Disable unsat core generation for this solver object. - It is invoked before init(m, logic). + It is invoked after init(m, logic). */ virtual void set_produce_unsat_cores(bool f) {}