X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d934b685b4c627321d0080db738378a0b805e515..779066e2405de6d9f0e5af5167bd754a26a0aefe:/src/constraintResolve.c

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index d154f95..127fe64 100644
--- 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;
     }