From a90700c7537e85fd5178a5f41d82cbad35234fcf Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 27 Apr 2015 23:06:39 -0700
Subject: Correcting assert in converting standard cell mapping from GIA into
 ABC.

---
 src/base/abci/abcDar.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index 92235822..7a9f8b66 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -963,7 +963,7 @@ Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p )
         }
         else
         {
-            assert( Gia_ObjCellId(p, iLit) > 0 );
+            assert( Gia_ObjCellId(p, iLit) >= 0 );
             pObjNew = Abc_NtkCreateNode( pNtkNew );
             Gia_CellForEachFanin( p, iLit, iFanLit, k )
                 Abc_ObjAddFanin( pObjNew, Abc_NtkFromCellRead(pNtkNew, vCopyLits, Abc_Lit2Var(iFanLit), Abc_LitIsCompl(iFanLit)) );
-- 
cgit v1.2.3