Added recording of AIG subgraphs.

f95e73c4 · Alan Mishchenko · 0f8b68ae · f95e73c4
Commit f95e73c4 authored Dec 06, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/base/abci/abcRec.c
+1 -0

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