From 9be1b076934b0410689c857cd71ef7d21a714b5f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 6 Sep 2007 08:01:00 -0700
Subject: Version abc70906

---
 src/aig/fra/fraPart.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/aig/fra/fraPart.c')

diff --git a/src/aig/fra/fraPart.c b/src/aig/fra/fraPart.c
index 23b6dd1d..691b2b3d 100644
--- a/src/aig/fra/fraPart.c
+++ b/src/aig/fra/fraPart.c
@@ -41,7 +41,7 @@
 ***********************************************************************/
 void Fra_ManPartitionTest( Aig_Man_t * p, int nComLim )
 {
-    ProgressBar * pProgress;
+    Bar_Progress_t * pProgress;
     Vec_Vec_t * vSupps, * vSuppsIn;
     Vec_Ptr_t * vSuppsNew;
     Vec_Int_t * vSupNew, * vSup, * vSup2, * vTemp;//, * vSupIn;
@@ -86,10 +86,10 @@ clk = clock();
     vSuppsNew = Vec_PtrAlloc( Aig_ManPoNum(p) );
     vOverNew  = Vec_IntAlloc( Aig_ManPoNum(p) );
     vQuantNew = Vec_IntAlloc( Aig_ManPoNum(p) );
-    pProgress = Extra_ProgressBarStart( stdout, Aig_ManPoNum(p) );
+    pProgress = Bar_ProgressStart( stdout, Aig_ManPoNum(p) );
     Aig_ManForEachPo( p, pObj, i )
     {
-        Extra_ProgressBarUpdate( pProgress, i, NULL );
+        Bar_ProgressUpdate( pProgress, i, NULL );
         // get old supports
         vSup = Vec_VecEntry( vSupps, i );
         if ( Vec_IntSize(vSup) < 2 )
@@ -152,7 +152,7 @@ clk = clock();
         printf( "\n" );
 */
     }
-    Extra_ProgressBarStop( pProgress );
+    Bar_ProgressStop( pProgress );
 PRT( "Scanning", clock() - clk );
 
     // print cumulative statistics
-- 
cgit v1.2.3