Add post condition

2013-08-27 16:18:51 +02:00
parent 8db642cf3b
commit 6fdffb7418
1 changed files with 2 additions and 0 deletions
--- a/library/server/wsf_html/webcontrol/wsf_page_control.e
+++ b/library/server/wsf_html/webcontrol/wsf_page_control.e
@@ -26,6 +26,8 @@ feature

 	initialize_controls
 		deferred
+		ensure
+			attached control
 		end

 	process