From 5f492d6fb6ca3ce29e3c1f3c32470e72e4e6deb7 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 19 Oct 2011 00:35:32 +0200 Subject: [PATCH] removed useless local variable --- library/protocol/http/src/http_file_extension_mime_mapping.e | 1 - 1 file changed, 1 deletion(-) diff --git a/library/protocol/http/src/http_file_extension_mime_mapping.e b/library/protocol/http/src/http_file_extension_mime_mapping.e index 603124fd..9434a879 100644 --- a/library/protocol/http/src/http_file_extension_mime_mapping.e +++ b/library/protocol/http/src/http_file_extension_mime_mapping.e @@ -79,7 +79,6 @@ feature {NONE} -- Initialization -- One can use `map' to add new mapping local f: RAW_FILE - s: READABLE_STRING_8 do create f.make (fn) if f.exists and then f.is_readable then