diff --git a/src/tool_writeout_json.c b/src/tool_writeout_json.c index ec9c640b5e..0e4623fe86 100644 --- a/src/tool_writeout_json.c +++ b/src/tool_writeout_json.c @@ -62,7 +62,7 @@ void jsonWriteString(FILE *stream, const char *in, bool lowercase) break; default: if(*i < 32) { - fprintf(stream, "u%04x", *i); + fprintf(stream, "\\u%04x", *i); } else { char out = *i;