[REM] Remove unneeded precondition

2012-03-27 11:30:42 +02:00
parent 0040e4b0d0
commit 425c276051
1 changed files with 0 additions and 2 deletions
--- a/library/server/wsf/src/service/wsf_service_launcher.e
+++ b/library/server/wsf/src/service/wsf_service_launcher.e
@@ -51,8 +51,6 @@ feature {NONE} -- Initialization
 		end

 	frozen make_and_launch (a_service: like service; a_options: like options)
-		require
-			a_options_attached: a_options /= Void
 		do
 			make (a_service, a_options)
 			launch