Synopsis: "Source file newer than class file" warning
State-Changed-From-To: open->feedback
State-Changed-By: apbianco
State-Changed-When: Mon Jul 16 15:30:30 2001
State-Changed-Why:
I can't reproduce the problem. I belive it's been fixed.
http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view&pr=1207&database=gcc