Code passes splintme with no errors.

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

diff --git a/src/Headers/functionClauseList.h b/src/Headers/functionClauseList.h
index 21717fe9de2f2b6ac47acb44072f02ce029d4fea..d7b56bfcce012b5e6c34ab07cce5757dd4766d49 100644 (file)
--- a/src/Headers/functionClauseList.h
+++ b/src/Headers/functionClauseList.h
@@ -48,8 +48,9 @@ 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) /*@*/ ;
-
+functionClauseList 
+functionClauseList_setImplictConstraints (/*@returned@*/ functionClauseList p_s);
+     
 /*@constant int functionClauseListBASESIZE;@*/
 # define functionClauseListBASESIZE MIDBASESIZE