diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 11:49:30 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 11:49:30 -0800 |
| commit | a28dd33df07b9b4932cf32855005f4cdc68316c9 (patch) | |
| tree | 00bae804c57f44056dfc3bbb9e01b045d95719e8 /src/aig/gia/giaDup.c | |
| parent | 5a10c8ad01b62a6760e4cf8720800acb1fab8554 (diff) | |
| download | abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.tar.gz abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.tar.bz2 abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.zip | |
Integrating mfs2 package to work with boxes.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 5d7a6cb3..5929b3b5 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -280,7 +280,7 @@ Gia_Man_t * Gia_ManDupSelectedOutputs( Gia_Man_t * p, Vec_Int_t * vOutsLeft ) Vec_IntForEachEntry( vOutsLeft, iOut, i ) Gia_ManDupOrderDfs_rec( pNew, p, Gia_ObjFanin0(Gia_ManPo(p, iOut)) ); Vec_IntForEachEntry( vOutsLeft, iOut, i ) - pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(Gia_ManPo(p, iOut)) ); + Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(Gia_ManPo(p, iOut)) ); return pNew; } |