diff --git a/src/proof/cec/cecCore.c b/src/proof/cec/cecCore.c
index 1ae342789..51debba6d 100644
--- a/src/proof/cec/cecCore.c
+++ b/src/proof/cec/cecCore.c
@@ -553,8 +553,8 @@ finalize:
     Cec_ManSimStop( pSim );
     Cec_ManPatStop( pPat );
     Cec_ManFraStop( p );
-    ABC_FREE( pTemp->pReprs );
-    ABC_FREE( pTemp->pNexts );
+    if ( pTemp ) ABC_FREE( pTemp->pReprs );
+    if ( pTemp ) ABC_FREE( pTemp->pNexts );
     return pTemp;
 }