Don't seq unfoldings
authorIan Lynagh <igloo@earth.li>
Wed, 20 Oct 2010 14:37:10 +0000 (14:37 +0000)
committerIan Lynagh <igloo@earth.li>
Wed, 20 Oct 2010 14:37:10 +0000 (14:37 +0000)
We generate intermediate unfoldings which are just thrown away, so
evaluating them is a waste of time.


No differences found