diff --git a/library/network/http_client/src/http_client_request.e b/library/network/http_client/src/http_client_request.e
index 2d606ee0..573100a4 100644
--- a/library/network/http_client/src/http_client_request.e
+++ b/library/network/http_client/src/http_client_request.e
@@ -57,6 +57,8 @@ feature -- Access
 			-- Execute the request and return the response.
 			-- note: two consecutive calls will trigger two executions!
 		deferred
+		ensure
+			Result_set: Result /= Void
 		end
 
 feature {HTTP_CLIENT_SESSION} -- Execution