diff --git a/src/proof/cec/cecCore.c b/src/proof/cec/cecCore.c
index 54f64626b..22b38cb92 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;
 }