From fcdd9148b456e7efec1db8b4cf81adbb305401d7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 12 Jun 2014 21:27:14 -0700
Subject: Various modifications.

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

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

diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c
index 5e97910b..a7b63864 100644
--- a/src/aig/gia/giaSwitch.c
+++ b/src/aig/gia/giaSwitch.c
@@ -758,6 +758,7 @@ float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbO
     // perform the computation of switching activity
     vSwitching = Gia_ManComputeSwitchProbs( pDfs, nFrames, nPref, fProbOne );
     // transfer the computed result to the original AIG
+    ABC_FREE( p->pSwitching );
     p->pSwitching = ABC_CALLOC( unsigned char, Gia_ManObjNum(p) );
     pSwitching = (float *)vSwitching->pArray;
     Gia_ManForEachObj( p, pObj, i )
-- 
cgit v1.2.3