From 1794bd37cddc9ba24b9b1f517ee813e238f62ae4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Mar 2011 21:02:29 -0700
Subject: Made gate library package Mio independent of CUDD.

---
 src/aig/gia/giaCSat.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaCSat.c b/src/aig/gia/giaCSat.c
index 1c5b05fe..745b19ba 100644
--- a/src/aig/gia/giaCSat.c
+++ b/src/aig/gia/giaCSat.c
@@ -503,7 +503,8 @@ static inline void Cbs_ManAssign( Cbs_Man_t * p, Gia_Obj_t * pObj, int Level, Gi
     Vec_IntPush( p->vLevReas, pRes0 ? pRes0-pObjR : 0 );
     Vec_IntPush( p->vLevReas, pRes1 ? pRes1-pObjR : 0 );
     assert( Vec_IntSize(p->vLevReas) == 3 * p->pProp.iTail );
-    s_Counter++;
+//    s_Counter++;
+//    s_Counter = Abc_MaxInt( s_Counter, Vec_IntSize(p->vLevReas)/3 );
 }
 
 
-- 
cgit v1.2.3