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

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

diff --git a/src/aig/gia/giaFront.c b/src/aig/gia/giaFront.c
index 08fd6081..322da785 100644
--- a/src/aig/gia/giaFront.c
+++ b/src/aig/gia/giaFront.c
@@ -112,7 +112,7 @@ Gia_Man_t * Gia_ManFront( Gia_Man_t * p )
     int nCrossCutMaxInit = Gia_ManCrossCut( p );
     int iFront = 0;//, clk = clock(); 
     // set references for all objects
-    Gia_ManSetRefs( p );
+    Gia_ManCreateValueRefs( p );
     // start the new manager
     pNew = Gia_ManStart( Gia_ManObjNum(p) );
     pNew->pName = Abc_UtilStrsav( p->pName );
-- 
cgit v1.2.3