Lucas Nussbaum writes: > 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). Then I suggest closing this bug and concentrating on #477964. OK? -- Ludovic Brenta.