*** empty log message ***

[splint.git] / src / stateCombinationTable.c

diff --git a/src/stateCombinationTable.c b/src/stateCombinationTable.c
index b11f23fe93eb003f869503c7356ed9c941fded85..2259e33f78692e6079fcc8ab16a068fe8a4d7b50 100644 (file)
--- a/src/stateCombinationTable.c
+++ b/src/stateCombinationTable.c
@@ -82,7 +82,9 @@ stateCombinationTable stateCombinationTable_create (int size)
          s->value = i;
          llassert (cstring_isUndefined (s->msg));
          
+         /*@-usedef@*/ /*@i534 why necessary? */
          res->rows[i]->entries[j] = s;
+         /*@=usedef@*/ 
        }
     }