summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar steinuil <steenuil.owl@gmail.com>2018-08-04 18:04:32 +0200
committerGravatar steinuil <steenuil.owl@gmail.com>2018-08-04 18:04:32 +0200
commit8bdd29f65c57570776f0c9f90d75f7818b0cdaa6 (patch)
tree4a7006ecd5c371d1a105913e784f23e60252f4da /lib
parentc98f27c7821f6d8f3add303da692630bba268d1d (diff)
removed invalid JSON escape character
Diffstat (limited to 'lib')
-rw-r--r--lib/ur/json.ur2
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>)