Eric,
You fixed it in 1.4.3-SNAPSHOT.
Please let us know when you've upgraded 1.4.3 to release.
Thanks,
David
On Mon, Feb 2, 2009 at 12:40 AM, etorreborre etorrebo...@gmail.com wrote:
Hi David and Rickard,
If you replace property(...) by Prop.forAll(...), the warnings should
disappear.
Hi David and Rickard,
If you replace property(...) by Prop.forAll(...), the warnings should
disappear.
On the other hand I don't know why forAll(...) only doesn't work.
Cheers,
Eric.
--~--~-~--~~~---~--~~
You received this message because you are subscribed to