X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/Headers/cstringList.h

diff --git a/src/Headers/cstringList.h b/src/Headers/cstringList.h
index f96818e..d27873d 100644
--- 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) /*@*/ ;