This bug will be fixed when gnat-gps transitions to gnat-4.6. The transition of all Ada packages to the new compiler is currently ongoing.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
