[Bug ada/41383] Timing_Events: Event time not cleared after Cancel_Handler

[sam at gcc dot gnu dot org]

------- Comment #2 from sam at gcc dot gnu dot org  2009-10-06 07:23 -------
This bug has been fixed in SVN trunk. Thanks for your very detailed report.


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41383