diff options
Diffstat (limited to 'src/proof/cec/cecCorr.c')
| -rw-r--r-- | src/proof/cec/cecCorr.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/proof/cec/cecCorr.c b/src/proof/cec/cecCorr.c index fdc60299..eb5cd1aa 100644 --- a/src/proof/cec/cecCorr.c +++ b/src/proof/cec/cecCorr.c @@ -1217,6 +1217,11 @@ Gia_Man_t * Cec_ManLSCorrespondence( Gia_Man_t * pAig, Cec_ParCor_t * pPars ) else Cec_ManPrintFlopEquivs( pAig ); } + // copy names if present + if ( pAig->vNamesIn ) + pNew->vNamesIn = Vec_PtrDupStr( pAig->vNamesIn ); + if ( pAig->vNamesOut ) + pNew->vNamesOut = Vec_PtrDupStr( pAig->vNamesOut ); return pNew; } |