diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-24 15:15:45 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-24 15:15:45 -0800 |
| commit | 3368b2dda9d96918b5fd98a2f5ec6da1fe54c775 (patch) | |
| tree | 6cbfc03e8831a2d2b14e53e1572fdaff5fa117f1 /src/aig/gia/giaIf.c | |
| parent | df83fb5e0470cb54eb75dee47d629ee7b276b88c (diff) | |
| download | abc-3368b2dda9d96918b5fd98a2f5ec6da1fe54c775.tar.gz abc-3368b2dda9d96918b5fd98a2f5ec6da1fe54c775.tar.bz2 abc-3368b2dda9d96918b5fd98a2f5ec6da1fe54c775.zip | |
Improvements to handling boxes and flops.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 7b9c0a4a..8440b2ab 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1885,9 +1885,10 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia ) { if ( pGia->pManTime == NULL || p == pGia ) return; - p->pManTime = pGia->pManTime; pGia->pManTime = NULL; - p->pAigExtra = pGia->pAigExtra; pGia->pAigExtra = NULL; - p->nAnd2Delay = pGia->nAnd2Delay; pGia->nAnd2Delay = 0; + p->pManTime = pGia->pManTime; pGia->pManTime = NULL; + p->pAigExtra = pGia->pAigExtra; pGia->pAigExtra = NULL; + p->vRegClasses = pGia->vRegClasses; pGia->vRegClasses = NULL; + p->nAnd2Delay = pGia->nAnd2Delay; pGia->nAnd2Delay = 0; } /**Function************************************************************* |