From 2b98b81837011f26d130ad0f44d4bc7b298f9cd7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 29 Apr 2008 08:01:00 -0700
Subject: Version abc80429

---
 src/aig/bdc/bdcCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/bdc')

diff --git a/src/aig/bdc/bdcCore.c b/src/aig/bdc/bdcCore.c
index e7675420..e812da3d 100644
--- a/src/aig/bdc/bdcCore.c
+++ b/src/aig/bdc/bdcCore.c
@@ -64,7 +64,7 @@ Bdc_Man_t * Bdc_ManAlloc( Bdc_Par_t * pPars )
     Bdc_Man_t * p;
     p = ALLOC( Bdc_Man_t, 1 );
     memset( p, 0, sizeof(Bdc_Man_t) );
-    assert( pPars->nVarsMax > 2 && pPars->nVarsMax < 16 );
+    assert( pPars->nVarsMax > 1 && pPars->nVarsMax < 16 );
     p->pPars = pPars;
     p->nWords = Kit_TruthWordNum( pPars->nVarsMax );
     p->nDivsLimit = 200;
-- 
cgit v1.2.3