diff options
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaAbs.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbs.c b/src/aig/gia/giaAbs.c index ab964c51..165bc996 100644 --- a/src/aig/gia/giaAbs.c +++ b/src/aig/gia/giaAbs.c @@ -484,8 +484,11 @@ int Gia_ManGlaPbaPerform( Gia_Man_t * pGia, void * pPars ) pGia->vGateClasses = vGateClasses; } // clean up the abstraction map - pGiaAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses ); - Gia_ManStop( pGiaAbs ); + if ( pGia->vGateClasses ) + { + pGiaAbs = Gia_ManDupAbsGates( pGia, pGia->vGateClasses ); + Gia_ManStop( pGiaAbs ); + } if ( p->fVerbose ) Gia_ManPrintStats( pGia, 0 ); return 1; |