Added va_copy to standard.h.

[splint.git] / src / Headers / cstringTable.h

diff --git a/src/Headers/cstringTable.h b/src/Headers/cstringTable.h
index ea3ddf1a559b803bb878135e825ddabc95e708dc..40516b32e62fcb8260673f3b84cae05b871d3e48 100644 (file)
--- a/src/Headers/cstringTable.h
+++ b/src/Headers/cstringTable.h
@@ -54,7 +54,7 @@ extern /*@falsewhennull@*/ bool cstringTable_isDefined(cstringTable) /*@*/ ;
 extern /*@nullwhentrue@*/ /*@unused@*/ bool cstringTable_isUndefined(cstringTable) /*@*/ ;
 # define cstringTable_isUndefined(p_h) ((p_h) == cstringTable_undefined)
 
-extern /*@only@*/ cstringTable cstringTable_create(int p_size) /*@*/ ;
+extern /*@only@*/ cstringTable cstringTable_create(unsigned long p_size) /*@*/ ;
 extern void cstringTable_insert (cstringTable p_h, 
                                 /*@only@*/ cstring p_key, 
                                 int p_value) /*@modifies p_h@*/ ;