diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-12 20:02:20 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-12 20:02:20 -0600 |
| commit | 151a4bb262713a94c488f2e4e8c1f5d498098253 (patch) | |
| tree | 3eccc7180efe0a5b908ddaf9c6e0e0528a80ebe2 /src/theory/strings | |
| parent | cf7c2ce97615990388bb6c37b151c0e2b2fe8f9a (diff) | |
Make regular expression difference left associative (#5430)
Fixes #5428.
Diffstat (limited to 'src/theory/strings')
| -rw-r--r-- | src/theory/strings/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/kinds b/src/theory/strings/kinds index 78c6ab1f1..020cedb30 100644 --- a/src/theory/strings/kinds +++ b/src/theory/strings/kinds @@ -90,7 +90,7 @@ operator STRING_TO_REGEXP 1 "convert string to regexp" operator REGEXP_CONCAT 2: "regexp concat" operator REGEXP_UNION 2: "regexp union" operator REGEXP_INTER 2: "regexp intersection" -operator REGEXP_DIFF 2: "regexp difference" +operator REGEXP_DIFF 2 "regexp difference" operator REGEXP_STAR 1 "regexp *" operator REGEXP_PLUS 1 "regexp +" operator REGEXP_OPT 1 "regexp ?" |