diff options
Diffstat (limited to 'src/theory/strings/rewrites.h')
-rw-r--r-- | src/theory/strings/rewrites.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/strings/rewrites.h b/src/theory/strings/rewrites.h index 5e63c55c8..684ee0e8a 100644 --- a/src/theory/strings/rewrites.h +++ b/src/theory/strings/rewrites.h @@ -81,6 +81,8 @@ enum class Rewrite : uint32_t RE_AND_EMPTY, RE_ANDOR_FLATTEN, RE_ANDOR_INC_CONFLICT, + RE_INTER_CONST_CONST_CONFLICT, + RE_INTER_CONST_RE_CONFLICT, RE_CHAR_IN_STR_STAR, RE_CONCAT, RE_CONCAT_FLATTEN, |