X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/0e41eb0e650b136b06564fd3c32ea5a1d16c68c8..140c27a82ebb7e4c8d1e59ab5fce12c793e587f8:/src/Headers/cstringList.h

diff --git a/src/Headers/cstringList.h b/src/Headers/cstringList.h
index 6a65507..617ad97 100644
--- a/src/Headers/cstringList.h
+++ b/src/Headers/cstringList.h
@@ -27,6 +27,8 @@ extern /*@unused@*/ /*@falsewhennull@*/ bool cstringList_empty (/*@sef@*/ cstrin
 
 extern cstring cstringList_unparseSep (cstringList p_s, cstring p_sep) /*@*/ ;
 
+extern /*@exposed@*/ /*@null@*/ bn_mstring *cstringList_getElements (cstringList) /*@*/ ;
+
 extern /*@unused@*/ /*@only@*/ cstringList cstringList_new (void) /*@*/ ;
 
 extern /*@only@*/ cstringList cstringList_single (/*@keep@*/ cstring p_el) /*@*/ ;
@@ -49,7 +51,7 @@ extern /*@unused@*/ /*@only@*/ cstring cstringList_unparseAbbrev (cstringList p_
 extern /*@unused@*/ /*@only@*/ cstring cstringList_unparse (cstringList p_s) ;
 extern void cstringList_free (/*@only@*/ cstringList p_s) ;
 
-extern /*@unused@*/ void cstringList_printSpaced (cstringList p_s, int p_indent, int p_gap, int p_linelen);
+extern /*@unused@*/ void cstringList_printSpaced (cstringList p_s, size_t p_indent, size_t p_gap, int p_linelen);
 
 extern /*@only@*/ cstringList cstringList_copy (cstringList p_s) /*@*/ ;