[REM] Remove unneeded precondition

2012-04-02 09:28:22 +02:00
parent 155c45be6c
commit ff713a42ab
1 changed files with 0 additions and 2 deletions
@@ -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