diff options
| -rw-r--r-- | src/aig/gia/giaAiger.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 398ae95b..5b78dbfb 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -897,8 +897,13 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck Vec_IntFreeP( &vPoTypes ); } -// pNew = Gia_ManCleanup( pTemp = pNew ); -// Gia_ManStop( pTemp ); + { + Vec_Int_t * vFlopMap; + vFlopMap = pNew->vFlopClasses; pNew->vFlopClasses = NULL; + pNew = Gia_ManCleanup( pTemp = pNew ); + Gia_ManStop( pTemp ); + pNew->vFlopClasses = vFlopMap; + } return pNew; } |