John Regehr <[email protected]> writes: > Actually it might be useful for us to teach C-Reduce not to emit these > messages if the C-Reduce release is more than 6 months old (and therefore not > the latest release). What do you think Yang and Eric?
I'm not sure this change is needed, espcially given that more recent versions of C-Reduce also emit a "don't worry about this" message. -- ------------------------------------------------------------------------------- Eric Eide <[email protected]> . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
