diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-20 13:23:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-20 13:23:29 -0700 |
| commit | 0dec03ba4d4d359b1a7711f1c594c9f936108969 (patch) | |
| tree | 8792b2d9e7a38d1ef18b4014a0eb5767441becaf | |
| parent | c5f74867b2d928049bd0fb701fb97f250845d908 (diff) | |
| download | abc-0dec03ba4d4d359b1a7711f1c594c9f936108969.tar.gz abc-0dec03ba4d4d359b1a7711f1c594c9f936108969.tar.bz2 abc-0dec03ba4d4d359b1a7711f1c594c9f936108969.zip | |
Preserving names while deriving a miter.
| -rw-r--r-- | src/aig/gia/giaDup.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 01c01f39..55d24cfd 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -2851,6 +2851,8 @@ Gia_Man_t * Gia_ManTransformMiter( Gia_Man_t * p ) Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); pNew = Gia_ManCleanup( pTemp = pNew ); Gia_ManStop( pTemp ); + if ( p->vNamesIn ) + pNew->vNamesIn = Vec_PtrDupStr(p->vNamesIn); return pNew; } Gia_Man_t * Gia_ManTransformMiter2( Gia_Man_t * p ) |