diff options
Diffstat (limited to 'src/aig/aig/aigMan.c')
-rw-r--r-- | src/aig/aig/aigMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigMan.c b/src/aig/aig/aigMan.c index 2e68e93c..47ee8d4d 100644 --- a/src/aig/aig/aigMan.c +++ b/src/aig/aig/aigMan.c @@ -216,7 +216,7 @@ void Aig_ManStop( Aig_Man_t * p ) FREE( p->pObjCopies ); FREE( p->pReprs ); FREE( p->pEquivs ); -// free( p->pTable ); + free( p->pTable ); free( p ); } |