Updating for cert move

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

diff --git a/src/Headers/constraintList2.h b/src/Headers/constraintList2.h
index 573e90b290c12b559ee6245ca25d0bbc66b77908..c2da3a42077be9871d1c92ecf41097bee6a52bba 100644 (file)
--- a/src/Headers/constraintList2.h
+++ b/src/Headers/constraintList2.h
@@ -35,7 +35,7 @@ extern bool constraintList_empty (/*@sef@*/ constraintList);
 extern /*@falsenull@*/ bool constraintList_isDefined (constraintList p_t);
 # define constraintList_isDefined(s) ((s) != (constraintList) 0)
 
-extern /*@only@*/ constraintList constraintList_new(void);
+extern /*@only@*/ constraintList constraintList_makeNew(void);
 extern constraintList constraintList_push (/*@returned@*/ constraintList p_s, 
                                       /*@keep@*/ constraint p_el) ;