From c35471dac45b7df2c9ccebcb4a95a5b67212a3df Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 7 Aug 2012 10:43:01 -0700
Subject: Scalable gate-level abstraction.

---
 src/aig/gia/giaAbsRef.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaAbsRef.c b/src/aig/gia/giaAbsRef.c
index 36dd0585..5b7bcee2 100644
--- a/src/aig/gia/giaAbsRef.c
+++ b/src/aig/gia/giaAbsRef.c
@@ -138,7 +138,8 @@ Rnm_Man_t * Rnm_ManStart( Gia_Man_t * pGia )
     p->vObjs = Vec_IntAlloc( 100 );
     p->nObjsAlloc = 10000;
     p->pObjs = ABC_ALLOC( Rnm_Obj_t, p->nObjsAlloc );
-    Gia_ManStaticFanoutStart( p->pGia );
+    if ( p->pGia->vFanout == NULL )
+        Gia_ManStaticFanoutStart( p->pGia );
     Gia_ManCleanValue(pGia);
     Gia_ManCleanMark0(pGia);
     Gia_ManCleanMark1(pGia);
-- 
cgit v1.2.3