comparison mxtool/mx.py @ 11675:77d9f12797c5

Use NodeMap in inlining utility when number of nodes is high.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 17 Sep 2013 00:30:01 +0200
parents ec7aad9dfc47
children facb442de5db
comparison
equal deleted inserted replaced
11674:8505bcff4bdc 11675:77d9f12797c5