diff options
Diffstat (limited to 'src/theory/arith/tableau.cpp')
| -rw-r--r-- | src/theory/arith/tableau.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/arith/tableau.cpp b/src/theory/arith/tableau.cpp index ef3206650..567d8215e 100644 --- a/src/theory/arith/tableau.cpp +++ b/src/theory/arith/tableau.cpp @@ -78,7 +78,6 @@ void Tableau::pivot(ArithVar oldBasic, ArithVar newBasic){ Assert(!isBasic(newBasic)); Assert(mergeBufferIsEmpty()); - //cout << oldBasic << "," << newBasic << endl; Debug("tableau") << "Tableau::pivot(" << oldBasic <<", " << newBasic <<")" << endl; rowPivot(oldBasic, newBasic); |