summaryrefslogtreecommitdiffstats
path: root/src/map/mpm
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-09-27 18:50:23 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-09-27 18:50:23 -0700
commita7fcdf20ab47209c1524b9e3ad612bc949122ef5 (patch)
tree91aaf40924ee897c71bc1fab29abacde8a6a701b /src/map/mpm
parenta695d708108facb4a52571d418905b95bbd9ec9b (diff)
downloadabc-a7fcdf20ab47209c1524b9e3ad612bc949122ef5.tar.gz
abc-a7fcdf20ab47209c1524b9e3ad612bc949122ef5.tar.bz2
abc-a7fcdf20ab47209c1524b9e3ad612bc949122ef5.zip
Performance balancing command &b.
Diffstat (limited to 'src/map/mpm')
-rw-r--r--src/map/mpm/mpmAbc.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mpm/mpmAbc.c b/src/map/mpm/mpmAbc.c
index 23643d06..43a23a66 100644
--- a/src/map/mpm/mpmAbc.c
+++ b/src/map/mpm/mpmAbc.c
@@ -91,7 +91,7 @@ Mig_Man_t * Mig_ManCreate( void * pGia )
Gia_ManConst0(p)->Value = 0;
Gia_ManForEachObj1( p, pObj, i )
{
- if ( Gia_ObjIsMux(p, i) )
+ if ( Gia_ObjIsMuxId(p, i) )
pObj->Value = Mig_ManAppendMux( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj), Gia_ObjFanin2Copy(p, pObj) );
else if ( Gia_ObjIsXor(pObj) )
pObj->Value = Mig_ManAppendXor( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) );