From 333bd873537afca4018154e8e77f978c8c50a552 Mon Sep 17 00:00:00 2001
From: Mathias Soeken <mathias.soeken@epfl.ch>
Date: Wed, 3 Aug 2016 15:23:34 +0200
Subject: [PATCH] Free memory.

---
 src/base/abci/abcExact.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c
index 94325f4ab..847c24657 100644
--- a/src/base/abci/abcExact.c
+++ b/src/base/abci/abcExact.c
@@ -1526,6 +1526,8 @@ void Abc_ExactStoreTest( int fVerbose )
     (*pArrTimeProfile)--;
 
     Abc_ExactStop();
+
+    Abc_NtkDelete( pNtk );
 }
 
 ////////////////////////////////////////////////////////////////////////