John Vickers <John@xza5.com> 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