From 0847ee732e62585c804cf748fe52aca55f7dc254 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 30 Nov 2013 18:29:08 -0800
Subject: Bug fix in &b when reference counters are given.

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

(limited to 'src')

diff --git a/src/aig/gia/giaMuxes.c b/src/aig/gia/giaMuxes.c
index 827bdf9a..b4afe214 100644
--- a/src/aig/gia/giaMuxes.c
+++ b/src/aig/gia/giaMuxes.c
@@ -48,6 +48,7 @@ Gia_Man_t * Gia_ManDupMuxes( Gia_Man_t * p )
     Gia_Obj_t * pObj, * pFan0, * pFan1, * pFanC;
     int i;
     assert( p->pMuxes == NULL );
+    ABC_FREE( p->pRefs );
     Gia_ManCreateRefs( p ); 
     // start the new manager
     pNew = Gia_ManStart( 5000 );
-- 
cgit v1.2.3