diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 13:21:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 13:21:54 -0700 |
commit | e22f5d1246c18dac711f2b6f6dc74d91ff3af3e5 (patch) | |
tree | 7574e113ac15e55507d1f4c3c8f4993f7e25fea2 /src/opt/nwk | |
parent | 5fb7c676c27c689a4a10773c6e4b28af32db3e8b (diff) | |
download | abc-e22f5d1246c18dac711f2b6f6dc74d91ff3af3e5.tar.gz abc-e22f5d1246c18dac711f2b6f6dc74d91ff3af3e5.tar.bz2 abc-e22f5d1246c18dac711f2b6f6dc74d91ff3af3e5.zip |
Bug fix in &gla_refine.
Diffstat (limited to 'src/opt/nwk')
-rw-r--r-- | src/opt/nwk/nwkAig.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/opt/nwk/nwkAig.c b/src/opt/nwk/nwkAig.c index 3dc47dda..ec5b43b1 100644 --- a/src/opt/nwk/nwkAig.c +++ b/src/opt/nwk/nwkAig.c @@ -175,7 +175,10 @@ Nwk_Man_t * Nwk_ManCreateFromGia( Gia_Man_t * p, Vec_Int_t * vPPis, Vec_Int_t * Vec_IntPush( vMaps, Gia_ObjId(p,pObj) ); } for ( i = Vec_IntSize(vLeaves); i < Vec_IntSize(vPPis); i++ ) + { Nwk_ManCreateCi( pNtk, 0 ); + Vec_IntPush( vMaps, -1 ); + } Gia_ManForEachObjVec( vNodes, p, pObj, i ) { ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 2, Gia_ObjRefs(p,pObj) ); |