removed unused local variables

2011-11-16 07:25:29 +01:00
parent 2c94a98730
commit a76eb75267
1 changed files with 0 additions and 2 deletions
--- a/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e
+++ b/library/server/ewsgi/connectors/nino/src/wgi_nino_input_stream.e
@@ -36,8 +36,6 @@ feature -- Input
 	read_character
 			-- Read the next character in input stream.
 			-- Make the result available in `last_character'.
-		local
-			s: detachable STRING
 		do
 			if source.socket_ok then
 				source.read_character