Ah! Good idea. Done.
-bw
On Feb 10, 2010, at 12:41 AM, Duncan Sands wrote:
> Hi Bill,
>
>> + if (TypeInfos.size() != 0) EOL("-- Catch TypeInfos --");
>
> how about: if (!TypeInfos.empty()) ...
>
>> + if (FilterIds.size() != 0) EOL("-- Filter IDs --");
>
> Likewise.
>
> Ciao,
>
> Duncan.
>