fix(dsolvers/nra_solver.cpp): print out multiple soln when non-defaul…

…t value is set for the option
dreal · Apr 21, 2015 · 0f5a9ce · 0f5a9ce
1 parent 345c9ce
commit 0f5a9ce
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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;