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);