Commit a2c3c210 authored by Alan Mishchenko's avatar Alan Mishchenko

Deleting unused info left by the SAT sweeper.

parent d556ad65
......@@ -548,6 +548,8 @@ finalize:
Cec_ManSimStop( pSim );
Cec_ManPatStop( pPat );
Cec_ManFraStop( p );
ABC_FREE( pTemp->pReprs );
ABC_FREE( pTemp->pNexts );
return pTemp;
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment