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/proof/fra/fraCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/fra')

diff --git a/src/proof/fra/fraCore.c b/src/proof/fra/fraCore.c
index 2148b467..37aaa0da 100644
--- a/src/proof/fra/fraCore.c
+++ b/src/proof/fra/fraCore.c
@@ -81,7 +81,7 @@ int Fra_FraigMiterStatus( Aig_Man_t * p )
             continue;
         }
         // check if the output is a primary input
-        if ( Aig_ObjIsCi(Aig_Regular(pChild)) && Aig_ObjPioNum(Aig_Regular(pChild)) < p->nTruePis )
+        if ( Aig_ObjIsCi(Aig_Regular(pChild)) && Aig_ObjCioId(Aig_Regular(pChild)) < p->nTruePis )
         {
             CountNonConst0++;
             continue;
-- 
cgit v1.2.3