From aa705a9af63b3c3859345311693eb50fbf751cb7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 2 Oct 2012 20:20:46 -0700
Subject: Renamed reference counting APIs in GIA package.

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

(limited to 'src/aig/gia/giaChoice.c')

diff --git a/src/aig/gia/giaChoice.c b/src/aig/gia/giaChoice.c
index a1d9e325..f5619028 100644
--- a/src/aig/gia/giaChoice.c
+++ b/src/aig/gia/giaChoice.c
@@ -228,7 +228,7 @@ int Gia_ManHasChoices( Gia_Man_t * p )
     Gia_ManCreateRefs( p );
     Gia_ManForEachAnd( p, pObj, i )
     {
-        if ( Gia_ObjRefs(p, pObj) == 0 )
+        if ( Gia_ObjRefNum(p, pObj) == 0 )
         {
             if ( Gia_ObjReprObj( p, Gia_ObjId(p, pObj) ) == NULL )
                 nFailNoRepr++;
-- 
cgit v1.2.3