From ccf1bd09d4ac1779c779715fa784bbf4e597e621 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 6 May 2013 19:38:59 -0400 Subject: [PATCH] Removing excess verbosity from ApproxSimplex (after discussing with Tim) --- src/theory/arith/approx_simplex.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 */ -- 2.30.2