]> andersk Git - splint.git/blobdiff - src/Headers/lctype.h
Fixed but with parenthesized pointer declarations.
[splint.git] / src / Headers / lctype.h
index ff1d01d1d7bad21e58ef14dd9f12df7cc02985b4..5bf5a5a5150b8c03cde422b59a0b9b1719838931 100644 (file)
@@ -250,7 +250,9 @@ extern ctype ctype_createUser (typeId p_u) ;
 
 extern bool ctype_isUnnamedSU (ctype p_c) /*@*/ ;
 extern bool ctype_isUser (ctype p_c) /*@*/ ;
+
 extern ctype ctype_expectFunction(ctype p_c) ;
+extern ctype ctype_dontExpectFunction (ctype p_c) ;
 
 extern ctype ctype_fixArrayPtr (ctype p_c);
 
This page took 0.025064 seconds and 4 git commands to generate.