Removed illegal precondition

2013-04-11 10:01:01 +01:00
parent 31ba0a8828
commit 137afab3d3
1 changed files with 0 additions and 2 deletions
--- a/library/server/wsf/src/response/wsf_default_router_response.e
+++ b/library/server/wsf/src/response/wsf_default_router_response.e
@@ -136,8 +136,6 @@ feature {NONE} -- Implementation
 		end

 	not_found_message (req: WSF_REQUEST): WSF_NOT_FOUND_RESPONSE
-		require
-			req_attached: req /= Void
 		local
 			vis: WSF_ROUTER_AGENT_ITERATOR
 		do