I have requested removal of gnat-4.8 from the archive. Can you please tell me whether this bug is still present in gnat-4.9? -- Ludovic Brenta.