diff options
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/tim/timMan.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 50054f53..4825ed71 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -188,7 +188,9 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres ) pNew = Tim_ManStart( nNewCis, nNewCos ); // copy box connectivity information memcpy( pNew->pCis, p->pCis, sizeof(Tim_Obj_t) * Tim_ManPiNum(p) ); - memcpy( pNew->pCos, p->pCos, sizeof(Tim_Obj_t) * Tim_ManPoNum(p) ); + memcpy( pNew->pCos + nNewCos - Tim_ManPoNum(p), + p->pCos + Tim_ManCoNum(p) - Tim_ManPoNum(p), + sizeof(Tim_Obj_t) * Tim_ManPoNum(p) ); // duplicate delay tables if ( Tim_ManDelayTableNum(p) > 0 ) { |