From c115a409222cf53a066ee12d773724776c71656c Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Mon, 31 Oct 2011 08:43:04 +0100
Subject: [PATCH] removed unused local variable

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

diff --git a/library/server/wsf/src/wsf_request.e b/library/server/wsf/src/wsf_request.e
index e6cff961..08de1527 100644
--- a/library/server/wsf/src/wsf_request.e
+++ b/library/server/wsf/src/wsf_request.e
@@ -1204,7 +1204,7 @@ feature {NONE} -- Temporary File handling
 	safe_filename (fn: STRING): STRING
 		local
 			c: CHARACTER
-			i, n, p: INTEGER
+			i, n: INTEGER
 		do
 				--| Compute safe filename, to avoid creating impossible filename, or dangerous one
 			from