diff options
Diffstat (limited to 'src/smt/process_assertions.cpp')
| -rw-r--r-- | src/smt/process_assertions.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/process_assertions.cpp b/src/smt/process_assertions.cpp index 4eedfd863..4fed33f3c 100644 --- a/src/smt/process_assertions.cpp +++ b/src/smt/process_assertions.cpp @@ -222,7 +222,7 @@ bool ProcessAssertions::apply(AssertionPipeline& assertions) { d_passes["bv-to-bool"]->apply(&assertions); } - if (options::solveBVAsInt() > 0) + if (options::solveBVAsInt() != options::SolveBVAsIntMode::OFF) { d_passes["bv-to-int"]->apply(&assertions); } |