From 6c01e8b9f040d591f72882aff08ed21446fbb567 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Mar 2011 14:17:12 -0700
Subject: Fixed a number of small bugs and memory leaks.

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

(limited to 'src/aig/saig/saigWnd.c')

diff --git a/src/aig/saig/saigWnd.c b/src/aig/saig/saigWnd.c
index eeacb44e..c11798ea 100644
--- a/src/aig/saig/saigWnd.c
+++ b/src/aig/saig/saigWnd.c
@@ -802,6 +802,8 @@ Aig_Man_t * Saig_ManWindowExtractMiter( Aig_Man_t * p0, Aig_Man_t * p1 )
     }
     Aig_ManSetRegNum( pNew, nRegCount );
     Aig_ManCleanup( pNew );
+    Vec_PtrFree( vNodes0 );
+    Vec_PtrFree( vNodes1 );
     return pNew;
 }
 
-- 
cgit v1.2.3