diff options
| author | lianah <lianahady@gmail.com> | 2013-03-21 14:30:48 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-03-21 14:30:48 -0400 |
| commit | 2d4acc17b566640fc5156614774a85a86547b12c (patch) | |
| tree | 435ac3fa0e6a5ba90b2d02f3046fe78d24814ef2 /src/theory/bv/theory_bv.cpp | |
| parent | 020ce7845a6ba4417616eedd072e3b73df3e8b38 (diff) | |
disabled ineq
Diffstat (limited to 'src/theory/bv/theory_bv.cpp')
| -rw-r--r-- | src/theory/bv/theory_bv.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |