Updteing for cert move

[splint.git] / src / exprNode.c

diff --git a/src/exprNode.c b/src/exprNode.c
index 6491d07e7c04f805aa9baa4ac4ac6de194f99bc7..8961dbdf393acc73f6e57fb1b488f6cc592f3932 100644 (file)
--- a/src/exprNode.c
+++ b/src/exprNode.c
@@ -401,8 +401,8 @@ static /*@notnull@*/ /*@special@*/ exprNode
   e->mustBreak = FALSE;
   e->isJumpPoint = FALSE;
   e->environment =  environmentTable_undefined;
-  e->requiresConstraints = constraintList_new();
-  e->ensuresConstraints  = constraintList_new();
+  e->requiresConstraints = constraintList_makeNew();
+  e->ensuresConstraints  = constraintList_makeNew();
   
   return (e);
 }