Cleaned up code problems reported by make splintme.

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

diff --git a/src/Headers/functionClauseList.h b/src/Headers/functionClauseList.h
index 471949bc3b05b033ee971a924cab8f41e561ad90..21717fe9de2f2b6ac47acb44072f02ce029d4fea 100644 (file)
--- a/src/Headers/functionClauseList.h
+++ b/src/Headers/functionClauseList.h
@@ -48,6 +48,8 @@ extern functionClauseList
 extern /*@unused@*/ /*@only@*/ cstring functionClauseList_unparse (functionClauseList p_s) ;
 extern void functionClauseList_free (/*@only@*/ functionClauseList p_s) ;
 
+extern void functionClauseList_getImplictConstraints (functionClauseList p_s) /*@*/ ;
+
 /*@constant int functionClauseListBASESIZE;@*/
 # define functionClauseListBASESIZE MIDBASESIZE