From 6bb5b0bac8ce3761bfb7a48ccb56ff942cdd67f3 Mon Sep 17 00:00:00 2001
From: jfiat <jfiat@8089f293-4706-0410-a29e-feb5c42a2edf>
Date: Wed, 18 Mar 2009 08:21:46 +0000
Subject: [PATCH] Removed erroneous precondition `exists', since we can call
 slist_append with null pointer to get an initialized pointer.

git-svn-id: https://svn.origo.ethz.ch/eiffelstudio/trunk/Src/library/cURL@77774 8089f293-4706-0410-a29e-feb5c42a2edf
---
 curl_externals.e | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/curl_externals.e b/curl_externals.e
index 2dd05cef..b62eda7e 100644
--- a/curl_externals.e
+++ b/curl_externals.e
@@ -67,8 +67,8 @@ feature -- Command
 
 	slist_append (a_list: POINTER; a_string: STRING_GENERAL): POINTER
 			-- Declared as curl_slist_append ().
+			-- note: call with a null `a_list' to get initialized pointer as Result
 		require
-			exists: a_list /= default_pointer
 			not_void: a_string /= Void
 		local
 			l_c_string: C_STRING