diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c
index 33fd9e823..8ce4b2e8c 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;
 }