Updteing for cert move

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index 0586a4ef95a8114048b159b89f1d9487780a0c84..718c7754a4aefa8308fb2fa5f4345a7ab87172c4 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -631,14 +631,14 @@ static /*@dependent@*/ uentryList currentParamList;
    of constraints.
    Currently the only constraints gnerated are MaxSet(p) >= 0 for all pointers
 */
-void  setImplictfcnConstraints ()
+void  setImplictfcnConstraints (void)
 {
   uentryList params;
   sRef s;
   constraint c;
   params = currentParamList;
 
-  implicitFcnConstraints  = constraint_makeNew();
+  implicitFcnConstraints  = constraintList_makeNew();
   
   uentryList_elements (params, el)
     {