From c1b142f7aec2a8f30556d09aa4ce719a257a3daa Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 8 May 2013 17:07:05 -0400 Subject: [PATCH] Removing arithmetic compile warning for release --- src/theory/arith/soi_simplex.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/arith/soi_simplex.cpp b/src/theory/arith/soi_simplex.cpp index d7e1808e4..c0ee7ad20 100644 --- 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("<