diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-06 19:38:59 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-06 19:38:59 -0400 |
commit | ccf1bd09d4ac1779c779715fa784bbf4e597e621 (patch) | |
tree | 1db47c304181495ce30d58a388ca6cac767ec0f3 /src/theory/arith/approx_simplex.cpp | |
parent | 0ff427f9cb3384f7d85c8f401a14b57b52c87cdd (diff) |
Removing excess verbosity from ApproxSimplex (after discussing with Tim)
Diffstat (limited to 'src/theory/arith/approx_simplex.cpp')
-rw-r--r-- | src/theory/arith/approx_simplex.cpp | 3 |
1 files changed, 1 insertions, 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 */ |