Merge pull request #10 from oligot/unneeded_precondition

Unneeded precondition
2012-04-02 00:28:23 -07:00
parent 874677ab7a 425c276051
commit 11b15ec5b7
2 changed files with 1 additions and 2 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 EIFGENs
 tests/temp/
 .svn/
+*.swp
--- 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