Removing arithmetic compile warning for release

diff --git a/src/theory/arith/soi_simplex.cpp b/src/theory/arith/soi_simplex.cpp
index d7e1808e4daa5d8fec48ffdb929eb2488450a424..c0ee7ad20db0ec5d001dd1772702212739af2a9e 100644 (file)
--- a/src/theory/arith/soi_simplex.cpp
+++ b/src/theory/arith/soi_simplex.cpp
@@ -873,7 +873,7 @@ WitnessImprovement SumOfInfeasibilitiesSPD::soiRound() {
 }
 
 bool SumOfInfeasibilitiesSPD::debugSOI(WitnessImprovement w, ostream& out, int instance) const{
-#warning "Redo SOI"
+//#warning "Redo SOI"
   return true;
   // out << "DLV("<<instance<<") ";
   // switch(w){