diff options
author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-03 15:23:34 +0200 |
---|---|---|
committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-03 15:23:34 +0200 |
commit | 333bd873537afca4018154e8e77f978c8c50a552 (patch) | |
tree | c9cb1cf15de00f785ff1e908ea6f71f92ed1b785 | |
parent | 33c6d01291433cb3cb6560856280dd3a9cb8fb58 (diff) | |
download | abc-333bd873537afca4018154e8e77f978c8c50a552.tar.gz abc-333bd873537afca4018154e8e77f978c8c50a552.tar.bz2 abc-333bd873537afca4018154e8e77f978c8c50a552.zip |
Free memory.
-rw-r--r-- | src/base/abci/abcExact.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 94325f4a..847c2465 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 ); } //////////////////////////////////////////////////////////////////////// |