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/ssw/sswCore.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/aig/ssw/sswCore.c')

diff --git a/src/aig/ssw/sswCore.c b/src/aig/ssw/sswCore.c
index 9a31a056..56b37fbe 100644
--- a/src/aig/ssw/sswCore.c
+++ b/src/aig/ssw/sswCore.c
@@ -204,8 +204,8 @@ clk = clock();
         nSatFailsReal = p->nSatFailsReal;
         nUniques      = p->nUniques;
 
-        p->nVarsMax  = AIG_MAX( p->nVarsMax,  p->pMSat->nSatVars );
-        p->nCallsMax = AIG_MAX( p->nCallsMax, p->pMSat->nSolverCalls );
+        p->nVarsMax  = ABC_MAX( p->nVarsMax,  p->pMSat->nSatVars );
+        p->nCallsMax = ABC_MAX( p->nCallsMax, p->pMSat->nSolverCalls );
         Ssw_SatStop( p->pMSat );
         p->pMSat = NULL;
         Ssw_ManCleanup( p );
-- 
cgit v1.2.3