diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-26 14:31:16 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-26 16:31:16 -0500 |
| commit | 9f9f8d29c9428289492e421fc1c464a51a06977e (patch) | |
| tree | 7985ee180985263a275ed3e95c662a5f394f9da8 /src/util | |
| parent | 28867b06a05fc13d0257093fcd28caa5907317b6 (diff) | |
Use uniform length limit for String constants (#2381)
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/regexp.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/util/regexp.cpp b/src/util/regexp.cpp index 8d68d4e86..34175a775 100644 --- a/src/util/regexp.cpp +++ b/src/util/regexp.cpp @@ -442,10 +442,8 @@ bool String::isDigit(unsigned character) return c >= '0' && c <= '9'; } -size_t String::maxSize() -{ - return std::numeric_limits<size_t>::max(); -} +size_t String::maxSize() { return std::numeric_limits<uint32_t>::max(); } + Rational String::toNumber() const { // when smt2 standard for strings is set, this may change, based on the |