Scalable gate-level abstraction.

c35471da · Alan Mishchenko · 173303b4 · c35471da
Commit c35471da authored Aug 07, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletions

src/aig/gia/giaAbsRef.c
+2 -1

No files found.
--- 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);