diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 14:29:32 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 14:29:32 -0800 |
| commit | f95e73c40b81dbcef7130dd79365303aa917641d (patch) | |
| tree | 5daa7ee4fa76ae9fcea2daf045b3f30611bbca20 /src | |
| parent | 0f8b68aef8a5deedb477650c490daffe3726995e (diff) | |
| download | abc-f95e73c40b81dbcef7130dd79365303aa917641d.tar.gz abc-f95e73c40b81dbcef7130dd79365303aa917641d.tar.bz2 abc-f95e73c40b81dbcef7130dd79365303aa917641d.zip | |
Added recording of AIG subgraphs.
Diffstat (limited to 'src')
| -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; } |