Free memory.

333bd873 · Mathias Soeken · 33c6d012 · 333bd873
Commit 333bd873 authored Aug 03, 2016 by Mathias Soeken
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

src/base/abci/abcExact.c
+2 -0

No files found.
--- 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 );
 }

 ////////////////////////////////////////////////////////////////////////