From df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Apr 2009 08:01:00 -0700
Subject: Version abc90408

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

(limited to 'src/aig/cnf')

diff --git a/src/aig/cnf/cnfMap.c b/src/aig/cnf/cnfMap.c
index 63625e6f..58c9b803 100644
--- a/src/aig/cnf/cnfMap.c
+++ b/src/aig/cnf/cnfMap.c
@@ -123,7 +123,7 @@ void Cnf_DeriveMapping( Cnf_Man_t * p )
 //        Aig_ObjCollectSuper( pObj, vSuper );
         // get the area flow of this cut
 //        AreaFlow = Cnf_CutSuperAreaFlow( vSuper, pAreaFlows );
-        AreaFlow = AIG_INFINITY;
+        AreaFlow = ABC_INFINITY;
         if ( AreaFlow >= (int)pCutBest->uSign )
         {
             pAreaFlows[pObj->Id] = pCutBest->uSign;
-- 
cgit v1.2.3