From a2c3c21031d0e83f15c8182924a908f54bbb5ab7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 10 Sep 2020 21:52:15 -0700 Subject: Deleting unused info left by the SAT sweeper. --- src/proof/cec/cecCore.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/proof/cec') diff --git a/src/proof/cec/cecCore.c b/src/proof/cec/cecCore.c index 54f64626..22b38cb9 100644 --- a/src/proof/cec/cecCore.c +++ b/src/proof/cec/cecCore.c @@ -548,6 +548,8 @@ finalize: Cec_ManSimStop( pSim ); Cec_ManPatStop( pPat ); Cec_ManFraStop( p ); + ABC_FREE( pTemp->pReprs ); + ABC_FREE( pTemp->pNexts ); return pTemp; } -- cgit v1.2.3