Committed to enable merge.

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

diff --git a/src/Headers/cstringList.h b/src/Headers/cstringList.h
index c0766463957a12ec2f8a33b9037decf7e63847ee..617ad97137b6c44cd3964d54e549c90e539ff476 100644 (file)
--- 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) /*@*/ ;