From f95e73c40b81dbcef7130dd79365303aa917641d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 6 Dec 2011 14:29:32 -0800
Subject: Added recording of AIG subgraphs.

---
 src/base/abci/abcRec.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base')

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;
 }
 
-- 
cgit v1.2.3