From 137afab3d3935636399a51887b318b46cf202dd1 Mon Sep 17 00:00:00 2001
From: Colin Adams <colinpauladams@gmail.com>
Date: Thu, 11 Apr 2013 10:01:01 +0100
Subject: [PATCH] Removed illegal precondition

---
 library/server/wsf/src/response/wsf_default_router_response.e | 2 --
 1 file changed, 2 deletions(-)

diff --git a/library/server/wsf/src/response/wsf_default_router_response.e b/library/server/wsf/src/response/wsf_default_router_response.e
index bfe35c6e..23b7ef99 100644
--- 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