diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcRec.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c index 33fd9e82..8ce4b2e8 100644 --- a/src/base/abci/abcRec.c +++ b/src/base/abci/abcRec.c @@ -323,6 +323,7 @@ Abc_Ntk_t * Abc_NtkRecUse() Abc_NtkRecPs(); p->pNtk = NULL; Abc_NtkRecStop(); + Abc_NtkCleanData(pNtk); return pNtk; } |