diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-03-02 15:22:03 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-02 23:22:03 +0000 |
commit | 80d9eab67e60ae8750165ce18ecd4eebcdc06b44 (patch) | |
tree | a97f0ace2d06863aa608e6d88d13a9b426ef229d /src/api | |
parent | 7cec5cb5aba03324f1781a72457a2e1202d557ff (diff) |
Remove non-ASCII characters from source files. (#6039)
Make collect_tags.py more robust for non-ASCII characters.
Diffstat (limited to 'src/api')
-rw-r--r-- | src/api/cvc4cpp.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index 7a191cd8a..e1c64b750 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -3944,7 +3944,7 @@ bool Solver::isValidInteger(const std::string& s) const if (s[index] == '0' && s.length() > (index + 1)) { - // From SMT-Lib 2.6: A〈numeral〉is the digit 0 or a non-empty sequence of + // From SMT-Lib 2.6: A <numeral> is the digit 0 or a non-empty sequence of // digits not starting with 0. So integers like 001, 000 are not allowed return false; } |