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