Mercurial > hg > truffle
diff mx.sh @ 9477:3b02fe9e1983
Bugfix: loop transformation needs the Assumptions object since it internally calls the Canonicalizer
author | Christian Wimmer <christian.wimmer@oracle.com> |
---|---|
date | Wed, 01 May 2013 09:13:34 -0700 |
parents | 9a4f210abb5e |
children |