severity 478032 serious thanks Hi,
I'm afraid that until someone fixes gnat-4.2, keeping it just for the benefit of ghdl is not much of an option. With gnat-4.2 removal imminent, I'm raising the severity. Kind regards T. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
