diff options
Diffstat (limited to 'src/theory/arith/approx_simplex.cpp')
-rw-r--r-- | src/theory/arith/approx_simplex.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/approx_simplex.cpp b/src/theory/arith/approx_simplex.cpp index 8e75f6850..caa052065 100644 --- a/src/theory/arith/approx_simplex.cpp +++ b/src/theory/arith/approx_simplex.cpp @@ -1785,7 +1785,7 @@ MipResult ApproxGLPK::solveMIP(bool activelyLog){ // Node explainSet(const set<ConstraintP>& inp){ // Assert(!inp.empty()); -// NodeBuilder<> nb(kind::AND); +// NodeBuilder nb(kind::AND); // set<ConstraintP>::const_iterator iter, end; // for(iter = inp.begin(), end = inp.end(); iter != end; ++iter){ // const ConstraintP c = *iter; |