1
0
mirror of https://github.com/nlohmann/json.git synced 2025-07-09 11:01:47 +03:00

fixed a bug

This commit is contained in:
Niels
2015-02-11 13:15:22 +01:00
parent 032bcf6493
commit 7b7a54aca5
3 changed files with 28 additions and 21 deletions

View File

@ -2514,7 +2514,7 @@ class basic_json
// string
quotation_mark = [\"];
escape = [\\];
unescaped = [^\"\\];
unescaped = [^\"\\\000];
escaped = escape ([\"\\/bfnrt] | [u][0-9a-fA-F]{4});
char = unescaped | escaped;
string = quotation_mark char* quotation_mark;