Code passes splintme with no errors.

[splint.git] / src / functionConstraint.c

diff --git a/src/functionConstraint.c b/src/functionConstraint.c
index 785e2f37903443a5db14289f09f222bcc7da43d3..b97a8022bddf2b09a274e622ba747a7e4395cb0f 100644 (file)
--- a/src/functionConstraint.c
+++ b/src/functionConstraint.c
@@ -237,7 +237,7 @@ void functionConstraint_addBufferConstraints (functionConstraint node, constrain
        {
          if (node->kind == FCT_BUFFER)
            {
-             node->constraint.buffer = constraintList_addList(node->constraint.buffer, temp);
+             node->constraint.buffer = constraintList_addListFree(node->constraint.buffer, temp);
            }
          else
            {