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

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

diff --git a/src/aig/gia/giaSat.c b/src/aig/gia/giaSat.c
index 4f8a6acb..9bea8ef7 100644
--- a/src/aig/gia/giaSat.c
+++ b/src/aig/gia/giaSat.c
@@ -358,7 +358,7 @@ void Gia_ManSatExperiment( Gia_Man_t * p )
     int nWords = 0, nWords2 = 0;
     pMan = Gia_ManSatStart();
     // mark the nodes to become roots of leaf-DAGs
-    Gia_ManSetRefs( p );
+    Gia_ManCreateValueRefs( p );
     Gia_ManForEachObj( p, pObj, i )
     {
         pObj->fMark0 = 0;
-- 
cgit v1.2.3