Vincent Massol wrote: > No. It was because there was a bug and I had implemented the correct > algorithm only for the clover:check goal. I have fixed that yesterday or > today (can't remember). > Yep, I hadn't caught the commit there yet. It's working now.
-Brett --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
