/*
** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
mvals = mtValuesNode_getValues (mtv);
}
- /*@-usedef@*/ /*@i34 splint should figure this out... */
+ /*@-usedef@*/ /* splint should figure this out... */
nvalues = cstringList_size (mvals);
/*@=usedef@*/
{
for (j = low2index; j <= high2index; j++)
{
- /*@i32 check for multiple definitions! */
+ /* Need to add checks for multiple definitions! */
if (mtTransferAction_isError (taction))
{