diff options
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 3dd039775..291885278 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -168,6 +168,7 @@ void Smt2::addStringOperators() { { addOperator(kind::STRING_TOLOWER, "str.tolower"); addOperator(kind::STRING_TOUPPER, "str.toupper"); + addOperator(kind::STRING_REV, "str.rev"); } addOperator(kind::STRING_PREFIX, "str.prefixof" ); addOperator(kind::STRING_SUFFIX, "str.suffixof" ); |