From: evans1629 <evans1629>
Date: Mon, 7 Jan 2002 05:21:44 +0000 (+0000)
Subject: Updated manual, suppressed warning in constraintResolve.c
X-Git-Tag: splint-3_0_1_2~24
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/d31b9958e774c4c2f02fcf346dc4a23713ad939f

Updated manual, suppressed warning in constraintResolve.c
---

diff --git a/doc/manual.doc b/doc/manual.doc
index 180aadc..db139fe 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ
diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index b88334a..d154f95 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);
-      ret = constraintList_addList(ret, list2);
+      /*@i5232@*/ ret = constraintList_addList(ret, list2); /* fix this? */
       return ret;
     }