mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

fix #5029

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-02-15 14:17:05 -08:00
parent c387863da1
commit 96e7b811f9
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/zstring.cpp
View file

@ -35,7 +35,7 @@ static bool is_hex_digit(char ch, unsigned& d) {
bool zstring::is_escape_char(char const *& s, unsigned& result) {
unsigned d;
if (*s == '\\' && *(s+1) == 'u' && *(s+2) == '{') {
if (*s == '\\' && s[1] == 'u' && s[2] == '{' && s[3] != '}') {
result = 0;
for (unsigned i = 0; i < 6; ++i) {
if (is_hex_digit(*(s+3+i), d)) {