From 430b34df4f16c3d2e07e36de0a336882ef75a190 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Wed, 15 May 2013 10:54:07 +0200
Subject: [PATCH] removed unused local variable

---
 library/server/wsf/src/wsf_request.e | 1 -
 1 file changed, 1 deletion(-)

diff --git a/library/server/wsf/src/wsf_request.e b/library/server/wsf/src/wsf_request.e
index 14ef2f43..790bc2ed 100644
--- a/library/server/wsf/src/wsf_request.e
+++ b/library/server/wsf/src/wsf_request.e
@@ -199,7 +199,6 @@ feature -- Access: Input
 		local
 			l_input: WGI_INPUT_STREAM
 			n: INTEGER
-			s: STRING
 		do
 			if raw_input_data_recorded and then attached raw_input_data as d then
 				buf.copy (d)