From 425c2760514352809ef0b200c0fe3592f6c1148a Mon Sep 17 00:00:00 2001 From: Olivier Ligot Date: Tue, 27 Mar 2012 11:30:42 +0200 Subject: [PATCH] [REM] Remove unneeded precondition --- library/server/wsf/src/service/wsf_service_launcher.e | 2 -- 1 file changed, 2 deletions(-) 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