John Vickers <[EMAIL PROTECTED]> wrote: > I can have another go without the "--disable-checking" if that's > likely to help. Anything else you'd like in the bug report ?
Please submit the smallest preprocessed source you can machine-generate which shows the bug. Thanks! Giovanni Bajo
