From f6a3c28e88121e8b4324b87ca2d316172ffe16e4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Jul 2015 21:22:27 -0700
Subject: Temp change in the AIG reader and minor tuning.

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

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

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index e295bdbb..3ba43803 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -2074,6 +2074,8 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
     If_Man_t * pIfMan;
     assert( pPars->pTimesArr == NULL );
     assert( pPars->pTimesReq == NULL );
+    ABC_FREE( p->pCellStr );
+    Vec_IntFreeP( &p->vConfigs );
     // disable cut minimization when GIA strucure is needed
     if ( !pPars->fDelayOpt && !pPars->fDelayOptLut && !pPars->fDsdBalance && !pPars->fUserRecLib && !pPars->fDeriveLuts && !pPars->fUseDsd && !pPars->fUseTtPerm )
         pPars->fCutMin = 0;
-- 
cgit v1.2.3