fix json escape for \

diff --git a/libs/json/json.ml b/libs/json/json.ml
index ed369a59fba20952f7c29520e0f19ae9dddd80cf..9e707a0dd9692d1b322ce59c932b230bc110c499 100644 (file)
--- a/libs/json/json.ml
+++ b/libs/json/json.ml
@@ -50,6 +50,7 @@ let escape_string s =
                        | '\t'   -> "\\t"
                        | '\r'   -> "\\r"
                        | '\b'   -> "\\b"
+                       | '\\'   -> "\\\\"
                        | '/'    -> "\\/"
                        | '"'    -> "\\\""
                        | '\x0c' -> "\\f"