diff options
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index db242d101..884502cf2 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -84,6 +84,9 @@ void Smt2::addBitvectorOperators() { addOperator(kind::BITVECTOR_SIGN_EXTEND); addOperator(kind::BITVECTOR_ROTATE_LEFT); addOperator(kind::BITVECTOR_ROTATE_RIGHT); + + addOperator(kind::INT_TO_BITVECTOR); + addOperator(kind::BITVECTOR_TO_NAT); } void Smt2::addStringOperators() { |