disabled ineq

diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp
index 2d390b7b9b454686e4a8f406934e17d7cf58e490..a794d63a305ef1f1cec9ab1be3608e8068dbaeaa 100644 (file)
--- 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); 
   }