feat(contractor/contractor_capd4.cpp): hide exception outputs

dreal · Mar 1, 2016 · a2689af · a2689af
1 parent a7f6edb
commit a2689af
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/contractor/contractor_capd4.cpp b/src/contractor/contractor_capd4.cpp
@@ -807,12 +807,12 @@ void contractor_capd_full::prune(box & b, SMTConfig & config) {
         }
     } catch (capd::intervals::IntervalError<double> & e) {
         if (config.nra_ODE_show_progress) {
-            cout << " [IntervalError]" << endl;
+            cout << " [Done]" << endl;
         }
         throw contractor_exception(e.what());
     } catch (capd::ISolverException & e) {
         if (config.nra_ODE_show_progress) {
-            cout << " [ISolverException]" << endl;
+            cout << " [Done]" << endl;
         }
         throw contractor_exception(e.what());
     }