diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-08 17:07:05 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-08 17:07:05 -0400 |
commit | c1b142f7aec2a8f30556d09aa4ce719a257a3daa (patch) | |
tree | d21c858b3c1d0df8de9e368d292b2139877c7a17 /src | |
parent | a2c0fd92782ce942a6f25f2561a4918fb2c5b020 (diff) |
Removing arithmetic compile warning for release
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/arith/soi_simplex.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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("<<instance<<") "; // switch(w){ |