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