Updated manual, suppressed warning in constraintResolve.c

diff --git a/doc/manual.doc b/doc/manual.doc
index 180aadc4882abf253a3ca82e7739658293eab654..db139fe460489413909c612fd92052aba7984698 100644 (file)
Binary files a/doc/manual.doc and b/doc/manual.doc differ

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index b88334ade82d1acfebd7d600fbff420d76421e29..d154f95df806d567cf98046b70e840769e9bd06f 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);
-      ret = constraintList_addList(ret, list2);
+      /*@i5232@*/ ret = constraintList_addList(ret, list2); /* fix this? */
       return ret;
     }