reassign 623382 gnat 4.4+1 close 623382 gnat/4.4+1.1 thanks This bug was, in fact, in gnat rather than gnat-4.4. If has been fixed and closed for several months and I wonder why you followed up on this bug. Perhaps it is not properly marked as closed; I'm attempting to fix that. -- Ludovic Brenta.