From 8bdd29f65c57570776f0c9f90d75f7818b0cdaa6 Mon Sep 17 00:00:00 2001
From: steinuil <steenuil.owl@gmail.com>
Date: Sat, 4 Aug 2018 18:04:32 +0200
Subject: removed invalid JSON escape character

---
 lib/ur/json.ur | 2 --
 1 file changed, 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>)
-- 
cgit v1.2.3