Merged this branch with the one in the splint.sf.net repository.

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

diff --git a/src/Headers/lctype.h b/src/Headers/lctype.h
index 4e2d0a83b55ac2b6c7a50d6259096530032649b5..0cd603ce0da571c648753be79c329572444217ba 100644 (file)
--- a/src/Headers/lctype.h
+++ b/src/Headers/lctype.h
@@ -364,11 +364,20 @@ extern ctype ctype_widest (ctype, ctype) /*@*/ ;
 
 /* drl modified */
 extern size_t ctype_getArraySize (ctype p_c);
+
+extern cstring ctype_unparseFunction (ctype p_c, /*@only@*/ cstring p_name);
+
+
+extern cstring
+ctype_unparseFunctionPointer (ctype p_c, cstring p_quals,  /*@only@*/ cstring p_name);
+
 /*end drl add functions */
 
 /* Should only be used in uentry.c */
 extern bool ctype_isUserBool (ctype p_ct) /*@*/ ;
 
+
+
 # else
 # error "Multiple include"
 # endif