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