Matthias, I just saw your commit to Subversion: * Make 4.2.2-2 a requirement for frontends built from separate sources. Addresses: #446596.
Could you please elaborate on why this change addresses the bug? Does it affect gnat-4.2 too? -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]