From adb6d0580521c682aafa71c20f418c5aeaea7974 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 1 Nov 2012 14:43:02 -0700 Subject: [PATCH] fixed typo Signed-off-by: Leonardo de Moura --- src/solver/solver.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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) {}