From fec988f6194fbab17cc18b72e6f907d5f990bbe8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 9 Mar 2012 19:59:35 -0800
Subject: Renamed Aig_ObjPioNum to be Aig_ObjCioId.

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

(limited to 'src/aig/saig/saigAbsStart.c')

diff --git a/src/aig/saig/saigAbsStart.c b/src/aig/saig/saigAbsStart.c
index d6583862..0054d8b0 100644
--- a/src/aig/saig/saigAbsStart.c
+++ b/src/aig/saig/saigAbsStart.c
@@ -250,7 +250,7 @@ Vec_Int_t * Saig_ManCexAbstractionFlops( Aig_Man_t * p, Gia_ParAbs_t * pPars )
     assert( Aig_ManRegNum(p) > 0 );
     if ( pPars->fVerbose )
         printf( "Performing counter-example-based refinement.\n" );
-    Aig_ManSetPioNumbers( p );
+    Aig_ManSetCioIds( p );
     vFlops = Vec_IntStartNatural( 1 );
 /*
     iFlop = Saig_ManFindFirstFlop( p );
-- 
cgit v1.2.3