Ludovic Brenta <[EMAIL PROTECTED]> writes: > Hi Matthieu, > > I have not been able to reproduce this bug, but it appears to be in a > Windows-specific part of gnatlink which we can safely remove. Could > you please try to recompile gnatlink with the following patch and see > if it solves your problem?
Just sorting out my old email. I didn't have time to recompile gnatlink, and the code which triggered the bug has been modified and now works fine. You can close the bug. -- Matthieu -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
