From b2e795d2d1df8a26577b80c4b4736d07ea95fddf Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Tue, 7 Mar 2017 13:14:47 +0100
Subject: [PATCH] removed useless local variable.

---
 library/server/wsf_html/form/wsf_form.e | 2 --
 1 file changed, 2 deletions(-)

diff --git a/library/server/wsf_html/form/wsf_form.e b/library/server/wsf_html/form/wsf_form.e
index 9e6b51c0..065aa7a4 100644
--- a/library/server/wsf_html/form/wsf_form.e
+++ b/library/server/wsf_html/form/wsf_form.e
@@ -126,8 +126,6 @@ feature -- Optional
 feature -- Conversion
 
 	append_to_html (a_theme: WSF_THEME; a_html: STRING_8)
-		local
-			s: STRING_8
 		do
 			a_html.append ("<form action=%""+ action +"%"")
 			a_html.append (" method=%""+ method +"%"")