diff options
Diffstat (limited to 'src/preprocessing/passes/bv_abstraction.cpp')
| -rw-r--r-- | src/preprocessing/passes/bv_abstraction.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/bv_abstraction.cpp b/src/preprocessing/passes/bv_abstraction.cpp index 9c0d0ec68..d62c8a97e 100644 --- a/src/preprocessing/passes/bv_abstraction.cpp +++ b/src/preprocessing/passes/bv_abstraction.cpp @@ -53,7 +53,7 @@ PreprocessingPassResult BvAbstraction::applyInternal( } // If we are using the lazy solver and the abstraction applies, then UF // symbols were introduced. - if (options::bitblastMode() == bv::BITBLAST_MODE_LAZY && changed) + if (options::bitblastMode() == options::BitblastMode::LAZY && changed) { d_preprocContext->widenLogic(theory::THEORY_UF); } |