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