From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 8 May 2013 21:07:05 +0000 (-0400)
Subject: Removing arithmetic compile warning for release
X-Git-Tag: cvc5-1.0.0~7287^2~136
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c1b142f7aec2a8f30556d09aa4ce719a257a3daa;p=cvc5.git

Removing arithmetic compile warning for release
---

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){