On 26/04/08 at 01:50 +0200, Ludovic Brenta wrote: > Lucas, have you been able to reproduce this bug? No, gnat-4.3 still fails, but not this way (#477964). -- | Lucas Nussbaum | lucas@lucas-nussbaum.net http://www.lucas-nussbaum.net/ | | jabber: lucas@nussbaum.fr GPG: 1024D/023B3F4F |