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: [PATCH] Updated code for lazy man's synthesis.

---
 abclib.dsp              | 4 ++++
 src/base/abci/abcRec2.c | 1 +
 2 files changed, 5 insertions(+)

diff --git a/abclib.dsp b/abclib.dsp
index 4f5abe2b2..6f6724eab 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -379,6 +379,10 @@ SOURCE=.\src\base\abci\abcRec.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcRec2.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcReconv.c
 # End Source File
 # Begin Source File
diff --git a/src/base/abci/abcRec2.c b/src/base/abci/abcRec2.c
index 7d81f2967..4f3b56f44 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);