diff options
Diffstat (limited to 'src/theory/quantifiers/bv_inverter.cpp')
| -rw-r--r-- | src/theory/quantifiers/bv_inverter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/bv_inverter.cpp b/src/theory/quantifiers/bv_inverter.cpp index c349e05b0..3756c6b4b 100644 --- a/src/theory/quantifiers/bv_inverter.cpp +++ b/src/theory/quantifiers/bv_inverter.cpp @@ -336,7 +336,7 @@ Node BvInverter::solveBvLit(Node sv, } else if (k == BITVECTOR_CONCAT) { - if (litk == EQUAL && options::cbqiBvConcInv()) + if (litk == EQUAL && options::cegqiBvConcInv()) { /* Compute inverse for s1 o x, x o s2, s1 o x o s2 * (while disregarding that invertibility depends on si) |