diff options
Diffstat (limited to 'src/base/abci/abcMap.c')
-rw-r--r-- | src/base/abci/abcMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index f6a1bb4e..d0bce990 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -109,9 +109,9 @@ clk = clock(); // reconstruct the network after mapping pNtkNew = Abc_NtkFromMap( pMan, pNtk ); + Map_ManFree( pMan ); if ( pNtkNew == NULL ) return NULL; - Map_ManFree( pMan ); if ( pNtk->pExdc ) pNtkNew->pExdc = Abc_NtkDup( pNtk->pExdc ); |