A bug in isClosedUnfolding
authorsimonpj@microsoft.com <unknown>
Tue, 9 Mar 2010 17:28:42 +0000 (17:28 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 9 Mar 2010 17:28:42 +0000 (17:28 +0000)
isClosedUnfolding should say False for DFUnUnfolding!


No differences found