From efe5d1476af9e99c7a246d6d4de91abbc4274359 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 5 Apr 2017 22:06:29 -0700
Subject: Adding stand-alone cut computation to GIA.

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

(limited to 'src')

diff --git a/src/aig/gia/giaCut.c b/src/aig/gia/giaCut.c
index 56424124..f70f0fc0 100644
--- a/src/aig/gia/giaCut.c
+++ b/src/aig/gia/giaCut.c
@@ -631,7 +631,7 @@ void Gia_StoComputeCuts( Gia_Man_t * pGia )
         printf( "Cut/Node = %.2f  ",        p->CutCount[3] / Gia_ManAndNum(p->pGia) );
         printf( "\n" );
         printf( "The number of nodes with cut count over the limit (%d cuts) = %d nodes (out of %d).  ", 
-            p->nCutSize, p->nCutsOver, Gia_ManAndNum(pGia) );
+            p->nCutNum, p->nCutsOver, Gia_ManAndNum(pGia) );
         Abc_PrintTime( 0, "Time", Abc_Clock() - p->clkStart );
     }
     Gia_StoFree( p );
-- 
cgit v1.2.3