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)