diff options
author | 2018-08-04 18:04:32 +0200 | |
---|---|---|
committer | 2018-08-04 18:04:32 +0200 | |
commit | 8bdd29f65c57570776f0c9f90d75f7818b0cdaa6 (patch) | |
tree | 4a7006ecd5c371d1a105913e784f23e60252f4da /lib/ur/json.ur | |
parent | c98f27c7821f6d8f3add303da692630bba268d1d (diff) |
removed invalid JSON escape character
Diffstat (limited to 'lib/ur/json.ur')
-rw-r--r-- | lib/ur/json.ur | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/ur/json.ur b/lib/ur/json.ur index 817ec16e..589e81b0 100644 --- a/lib/ur/json.ur +++ b/lib/ur/json.ur @@ -51,7 +51,6 @@ fun escape s = | #"\r" => "\\r" | #"\t" => "\\t" | #"\"" => "\\\"" - | #"\'" => "\\\'" | #"\\" => "\\\\" | #"/" => "\\/" | x => String.str ch @@ -101,7 +100,6 @@ fun unescape s = | #"r" => "\r" | #"t" => "\t" | #"\"" => "\"" - | #"\'" => "\'" | #"\\" => "\\" | #"/" => "/" | x => error <xml>JSON unescape: Bad escape char: {[x]}</xml>) |