From c9d11b3adb08f0d03f8cd954d753496b0340cf34 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 26 Mar 2013 16:31:59 +0100 Subject: [PATCH] fixed compilation --- library/server/wsf_html/widget/wsf_widget_pager.e | 6 ------ 1 file changed, 6 deletions(-) diff --git a/library/server/wsf_html/widget/wsf_widget_pager.e b/library/server/wsf_html/widget/wsf_widget_pager.e index a04a0d13..c4fb421b 100644 --- a/library/server/wsf_html/widget/wsf_widget_pager.e +++ b/library/server/wsf_html/widget/wsf_widget_pager.e @@ -52,12 +52,6 @@ feature -- Access feature -- Conversion - to_html (a_theme: WSF_THEME): STRING_8 - do - create Result.make (1024) - append_to_html (a_theme, Result) - end - append_to_html (a_theme: WSF_THEME; a_html: STRING_8) local l_step: INTEGER