From ecafca53d8ec0d8ad779ec187b758837e379847a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Nov 2020 21:30:01 -0800
Subject: Experiments with MFFC computation (bug fix).

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

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

diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index b8f33b69..2409df2e 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -1272,9 +1272,9 @@ int Gia_NodeMffcMapping( Gia_Man_t * p )
     Vec_IntFill( vMapping, Gia_ManObjNum(p), 0 );
     pRefsOld = p->pRefs; p->pRefs = NULL;
     Gia_ManCreateRefs( p ); 
-    p->pRefs = pRefsOld;
     Gia_ManForEachCoDriverId( p, Id, i )
         Count += Gia_NodeMffcMapping_rec( p, Id, vMapping, vSupp );
+    p->pRefs = pRefsOld;
     Vec_IntFree( vSupp );
     p->vMapping = vMapping;
     //printf( "Mapping is %.2fx larger than AIG manager.\n", 1.0*Vec_IntSize(vMapping)/Gia_ManObjNum(p) );
-- 
cgit v1.2.3