From 6175fcb8026bae3db5b4280b655131322d7944da Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 7 May 2008 08:01:00 -0700
Subject: Version abc80507

---
 src/aig/ntl/ntlFraig.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/aig/ntl/ntlFraig.c')

diff --git a/src/aig/ntl/ntlFraig.c b/src/aig/ntl/ntlFraig.c
index 767ea6e4..a723c981 100644
--- a/src/aig/ntl/ntlFraig.c
+++ b/src/aig/ntl/ntlFraig.c
@@ -76,6 +76,8 @@ Aig_Obj_t ** Ntl_ManFraigDeriveClasses( Aig_Man_t * pAig, Ntl_Man_t * pNew, Aig_
         if ( Aig_ObjIsPo(pObj) )
             continue;
         pObjCol = pObj->pData;
+        if ( pObjCol == NULL )
+            continue;
         if ( pMapBack[pObjCol->Id] == NULL )
             pMapBack[pObjCol->Id] = pObj;
     }
@@ -89,6 +91,8 @@ Aig_Obj_t ** Ntl_ManFraigDeriveClasses( Aig_Man_t * pAig, Ntl_Man_t * pNew, Aig_
             continue;
         // get the collapsed node
         pObjCol = pObj->pData;
+        if ( pObjCol == NULL )
+            continue;
         // get the representative of the collapsed node
         pObjColRepr = pAigCol->pReprs[pObjCol->Id];
         if ( pObjColRepr == NULL )
-- 
cgit v1.2.3