From d8c420c4b7a4379aa588eebd8935bda07c4f9a48 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 17 Jan 2012 16:33:40 +0100 Subject: [PATCH] use READABLE_STRING_8 instead of STRING_8 --- library/protocol/uri_template/src/uri_template.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/protocol/uri_template/src/uri_template.e b/library/protocol/uri_template/src/uri_template.e index 4f74c0de..8f93a009 100644 --- a/library/protocol/uri_template/src/uri_template.e +++ b/library/protocol/uri_template/src/uri_template.e @@ -178,7 +178,7 @@ feature -- Builder feature -- Match - match (a_uri: STRING): detachable URI_TEMPLATE_MATCH_RESULT + match (a_uri: READABLE_STRING_8): detachable URI_TEMPLATE_MATCH_RESULT require is_valid: is_valid local