From bfc3a109c23798e9fb0e069cca9673d024c2bb05 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 29 Sep 2013 00:00:31 -0700
Subject: Changing default values.

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

(limited to 'src')

diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c
index 209715de..8dc127ff 100644
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -1118,7 +1118,7 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj, int fEdge )
     Vec_IntPush( p->vTemp, c );
     for ( i = 0; i < c; i++ )
     {
-        assert( pSto[i]->pCut[0] <= 6 );
+        assert( !p->pPars->fCutMin || pSto[i]->pCut[0] <= 6 );
         pSto[i]->Cost = p->pPars->fGenCnf ? Jf_CutCnfSizeF(p, Abc_Lit2Var(pSto[i]->iFunc)) : 1;
         Vec_IntPush( p->vTemp, Jf_CutSetAll(pSto[i]->iFunc, pSto[i]->Cost, pSto[i]->pCut[0]) );
         for ( k = 1; k <= pSto[i]->pCut[0]; k++ )
-- 
cgit v1.2.3