diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-22 01:05:43 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-21 23:05:43 -0800 |
| commit | 9b20af281db3e77a25540305dfb73cbe56519f75 (patch) | |
| tree | 2122c9f51c7d536621a3e3d32da66216d3cde1e8 /src/theory/strings/regexp_operation.h | |
| parent | a626d85e490256a5d872fec49910cdb43e85c16d (diff) | |
Move cardinality inference scheme to base solver in strings (#3792)
Moves handling of cardinality to the base solver, refactors how cardinality is accessed.
No intended behavior change in this commit.
Diffstat (limited to 'src/theory/strings/regexp_operation.h')
| -rw-r--r-- | src/theory/strings/regexp_operation.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/regexp_operation.h b/src/theory/strings/regexp_operation.h index c7464760d..91d5df744 100644 --- a/src/theory/strings/regexp_operation.h +++ b/src/theory/strings/regexp_operation.h @@ -59,7 +59,7 @@ class RegExpOpr { private: /** the code point of the last character in the alphabet we are using */ - unsigned d_lastchar; + uint32_t d_lastchar; Node d_emptyString; Node d_true; Node d_false; |