Added annotation to fix lint warning.

[splint.git] / src / constraintResolve.c

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index d154f95df806d567cf98046b70e840769e9bd06f..127fe64c609c26be3e5a23849eb32bd46160b3eb 100644 (file)
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.c
@@ -128,7 +128,7 @@ static /*@only@*/ constraintList reflectChangesEnsuresFree1 (/*@only@*/ constrai
   if (context_getFlag (FLG_REDUNDANTCONSTRAINTS) )
     {
       ret = constraintList_copy(list1);
-      /*@i5232@*/ ret = constraintList_addList(ret, list2); /* fix this? */
+      ret = constraintList_addList(ret, list2); 
       return ret;
     }