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;