From 74c9a068eb70a50ca7d03f069d1a20942e372eb6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 26 Sep 2012 08:50:15 -0700
Subject: Updated version of LMS code.

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

(limited to 'src/base/abci')

diff --git a/src/base/abci/abcRec2.c b/src/base/abci/abcRec2.c
index 352cf0e5..c84ea3ea 100644
--- a/src/base/abci/abcRec2.c
+++ b/src/base/abci/abcRec2.c
@@ -1552,6 +1552,7 @@ timeBuild = clock();
     }
 
     // build the node and compute its truth table
+    assert( Vec_PtrSize(vNodes) > 0 );
     nNodesBeg = Gia_ManObjNum( pAig );
     Vec_PtrForEachEntryStart( If_Obj_t *, vNodes, pIfObj, i, nLeaves )
     {
-- 
cgit v1.2.3