diff options
Diffstat (limited to 'src/theory/strings/rewrites.h')
| -rw-r--r-- | src/theory/strings/rewrites.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/strings/rewrites.h b/src/theory/strings/rewrites.h index c96dffcde..b57c5f276 100644 --- a/src/theory/strings/rewrites.h +++ b/src/theory/strings/rewrites.h @@ -155,6 +155,7 @@ enum class Rewrite : uint32_t UPD_CONST_INDEX_MAX_OOB, UPD_CONST_INDEX_NEG, UPD_CONST_INDEX_OOB, + UPD_REV, STOI_CONCAT_NONNUM, STOI_EVAL, STR_CONV_CONST, @@ -223,7 +224,8 @@ enum class Rewrite : uint32_t CHARAT_ELIM, SEQ_UNIT_EVAL, SEQ_NTH_EVAL, - SEQ_NTH_TOTAL_OOB + SEQ_NTH_TOTAL_OOB, + SEQ_NTH_UNIT }; /** |