backup/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Removed erroneous precondition `exists', since we can call slist_append with null pointer to get an initialized pointer.

Browse Source 
git-svn-id: https://svn.origo.ethz.ch/eiffelstudio/trunk/Src/library/cURL@77774 8089f293-4706-0410-a29e-feb5c42a2edf
This commit is contained in:
jfiat
2009-03-18 08:21:46 +00:00
parent e3d8fbb263
commit 6bb5b0bac8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
curl_externals.e
View File

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