diff --git a/library/server/wsf/src/service/wsf_service_launcher.e b/library/server/wsf/src/service/wsf_service_launcher.e
index 90e2b9db..6499ae9a 100644
--- 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