From 226c24e49da3cc1c2cf620eaa6bce70b94ca63b9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Jul 2012 15:56:03 -0700
Subject: Updated code for lazy man's synthesis.

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

(limited to 'src')

diff --git a/src/base/abci/abcRec2.c b/src/base/abci/abcRec2.c
index 7d81f296..4f3b56f4 100644
--- a/src/base/abci/abcRec2.c
+++ b/src/base/abci/abcRec2.c
@@ -1029,6 +1029,7 @@ void Abc_NtkRecInsertToLookUpTable2(Abc_ManRec_t2* p, int* ppSpot, Gia_Obj_t* pP
     unsigned char costFromStruct = Abc_NtkRecArea2(pObj);
     Abc_LookUpStatus_t2 result;
     Rec_Obj_t2 * pRecObj;
+    assert( nVars > 0 );
     for (i = 0; i < nVars; i++)
     {
         pLeaf = Gia_ManPi( p->pGia,  i);
-- 
cgit v1.2.3