From c836d7519187f05e622da735261ef5ebb9f69b1b Mon Sep 17 00:00:00 2001
From: jfiat <jfiat@eiffel.com>
Date: Fri, 7 Oct 2011 12:25:00 +0000
Subject: [PATCH] Added more conversion, and accept READABLE_STRING_8 as
 argument for make_json

---
 library/kernel/json_string.e | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/library/kernel/json_string.e b/library/kernel/json_string.e
index b49ef7bc..4df0a1e3 100644
--- a/library/kernel/json_string.e
+++ b/library/kernel/json_string.e
@@ -25,11 +25,11 @@ create
     make_json
 
 convert
-	make_json ({STRING})
+	make_json ({READABLE_STRING_8, STRING_8, IMMUTABLE_STRING_8})
 
 feature {NONE} -- Initialization
 
-    make_json (an_item: STRING)
+    make_json (an_item: READABLE_STRING_8)
             -- Initialize.
         require
             item_not_void: an_item /= Void