Removing excess verbosity from ApproxSimplex (after discussing with Tim)

diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp
index 181def552f488bfaa0aa2c67c653c9448e0d8a18..47f15d8c7357381f0a22927b0a28774a2511efc4 100644 (file)
--- a/src/theory/arith/approx_simplex.cpp
+++ b/src/theory/arith/approx_simplex.cpp
@@ -162,8 +162,7 @@ private:
   int guessDir(ArithVar v) const;
 };
 
-#warning "set back to 0"
-int ApproxGLPK::s_verbosity = 1;
+int ApproxGLPK::s_verbosity = 0;
 
 }/* CVC4::theory::arith namespace */
 }/* CVC4::theory namespace */