From 0f5a9ced6da342da390f8a0e1c3b3e735fbee3ef Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Tue, 21 Apr 2015 15:54:31 -0400
Subject: [PATCH] fix(dsolvers/nra_solver.cpp): print out multiple soln when
 non-default value is set for the option

---
 src/dsolvers/nra_solver.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/dsolvers/nra_solver.cpp b/src/dsolvers/nra_solver.cpp
index c853c6250..03382dd08 100644
--- a/src/dsolvers/nra_solver.cpp
+++ b/src/dsolvers/nra_solver.cpp
@@ -291,8 +291,11 @@ box icp_loop(box b, contractor const & ctc, SMTConfig & config) {
                                          << "]" << endl;
                 }
             } else {
-                cerr << "Find " << ++config.nra_found_soln << "-th solution:" << endl;
-                cerr << b << endl;
+                config.nra_found_soln++;
+                if (config.nra_multiple_soln > 1) {
+                    cerr << "Find " << config.nra_found_soln << "-th solution:" << endl;
+                    cerr << b << endl;
+                }
                 solns.push_back(b);
                 if (config.nra_found_soln >= config.nra_multiple_soln) {
                     break;