1
0
mirror of https://github.com/nlohmann/json.git synced 2025-07-28 12:02:00 +03:00

fixed re2c warnings

This commit is contained in:
Niels
2016-06-23 22:49:48 +02:00
parent 39a9cfcc12
commit 6542ae5766
2 changed files with 4 additions and 4 deletions

View File

@ -7388,10 +7388,10 @@ class basic_json
number { return token_type::value_number; }
// string
quotation_mark = [\"];
quotation_mark = ["];
escape = [\\];
unescaped = [^\"\\\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0A\x0B\x0C\x0D\x0E\x0F];
single_escaped = [\"\\/bfnrt];
unescaped = [^"\\\x00\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0A\x0B\x0C\x0D\x0E\x0F];
single_escaped = ["\\/bfnrt];
unicode_escaped = [u][0-9a-fA-F]{4};
escaped = escape (single_escaped | unicode_escaped);
char = unescaped | escaped;