diff options
| -rw-r--r-- | src/aig/gia/giaDup.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 81362276..801d4453 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -624,6 +624,12 @@ Gia_Man_t * Gia_ManDupWithAttributes( Gia_Man_t * p ) pNew->pAigExtra = Gia_ManDup( p->pAigExtra ); if ( p->nAnd2Delay ) pNew->nAnd2Delay = p->nAnd2Delay; + if ( p->vRegClasses ) + pNew->vRegClasses = Vec_IntDup( p->vRegClasses ); + if ( p->vConfigs ) + pNew->vConfigs = Vec_IntDup( p->vConfigs ); + if ( p->pCellStr ) + pNew->pCellStr = Abc_UtilStrsav( p->pCellStr ); return pNew; } |