Synopsis: User-defined thrown exception is not found
State-Changed-From-To: feedback->closed
State-Changed-By: tromey
State-Changed-When: Thu Jun 21 09:03:45 2001
State-Changed-Why:
No bug here.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=2737&database=gcc