Georg Baum wrote:
Very neat solution!

> +        read_syntaxfile(system_syntaxfile);
> +        if(syntaxfile.size())
> +                read_syntaxfile(syntaxfile);

Isn't it better to use if (!syntaxfile.empty()) here?

I'll leave the patch for André to apply on his return from the 
conference.

-- 
Angus

Reply via email to