diff options
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 99507245d..94fc1e34c 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -622,7 +622,7 @@ int TheoryBV::getReduction(int effort, Node n, Node& nr) } else if (n.getKind() == kind::INT_TO_BITVECTOR) { - nr = utils::eliminateBv2Nat(n); + nr = utils::eliminateInt2Bv(n); return -1; } return 0; |