From 323913fd19a460c04f5fb4386954e8e686018d64 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 23 Jun 2014 13:58:46 -0700
Subject: Improvements to CNF generation.

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

(limited to 'src')

diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 1a4da7a5..89958e4c 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -1032,7 +1032,7 @@ void Mf_ObjMergeOrder( Mf_Man_t * p, int iObj )
     pBest->iCutSet = Mf_ManSaveCuts( p, pCutsR, nCutsR );
     // verify
     assert( nCutsR > 0 && nCutsR < nCutNum );
-    assert( Mf_SetCheckArray(pCutsR, nCutsR) );
+//    assert( Mf_SetCheckArray(pCutsR, nCutsR) );
     p->nCutCounts[pCutsR[0]->nLeaves]++;
     p->CutCount[3] += nCutsR;
 }
-- 
cgit v1.2.3