From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 6 May 2013 23:38:59 +0000 (-0400)
Subject: Removing excess verbosity from ApproxSimplex (after discussing with Tim)
X-Git-Tag: cvc5-1.0.0~7287^2~151
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ccf1bd09d4ac1779c779715fa784bbf4e597e621;p=cvc5.git

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 181def552..47f15d8c7 100644
--- 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 */