Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/cstringList.h b/src/Headers/cstringList.h
index f96818e9a72a53ed7d9268ca41d80a25d51fa1e3..d27873df60b6764bd789c0c06e0d40f452f50747 100644 (file)
--- a/src/Headers/cstringList.h
+++ b/src/Headers/cstringList.h
@@ -27,7 +27,7 @@ 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 /*@exposed@*/ /*@null@*/ ob_cstring *cstringList_getElements (cstringList) /*@*/ ;
 
 extern /*@unused@*/ /*@only@*/ cstringList cstringList_new (void) /*@*/ ;