From: lianah <lianahady@gmail.com>
Date: Thu, 21 Mar 2013 18:30:48 +0000 (-0400)
Subject: disabled ineq
X-Git-Tag: cvc5-1.0.0~7361^2~28
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2d4acc17b566640fc5156614774a85a86547b12c;p=cvc5.git

disabled ineq
---

diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp
index 2d390b7b9..a794d63a3 100644
--- a/src/theory/bv/theory_bv.cpp
+++ b/src/theory/bv/theory_bv.cpp
@@ -128,7 +128,7 @@ void TheoryBV::check(Effort e)
 
   Assert (!ok == inConflict());
   if (!inConflict() && !d_coreSolver.isCoreTheory()) {
-    //if (!inConflict() && !d_inequalitySolver.isInequalityTheory()) {
+    // if (!inConflict() && !d_inequalitySolver.isInequalityTheory()) {
     ok = d_bitblastSolver.check(e); 
   }