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 ("