From 0a5d856cecad549ac8da3a4bc63298b36e10d14b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 22 Nov 2011 19:07:00 -0800
Subject: Making GLA PBA and GLA CBA communicate information.

---
 src/aig/gia/giaAbs.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/aig/gia')

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;
-- 
cgit v1.2.3