comparison 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
comparison
equal deleted inserted replaced
9476:deb3189e834d 9477:3b02fe9e1983