Fix pdr timing output

(cherry picked from commit acbe1b1)
berkeley-abc · Aug 7, 2024 · c8d64b8 · c8d64b8
1 parent e62e8ac
commit c8d64b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c
@@ -1035,7 +1035,7 @@ void Pdr_OutputCexToDir( Pdr_Par_t * pPars, Abc_Cex_t * pCex )
     FILE * pCexFile;
 
     iCexPathSize = snprintf( NULL, 0, "%s%d.aiw", pPars->pCexFilePrefix, pCex->iPo ) + 1;
-    pCexPath = malloc( iCexPathSize );
+    pCexPath = (char *)malloc( iCexPathSize );
     snprintf( pCexPath, iCexPathSize, "%s%d.aiw", pPars->pCexFilePrefix, pCex->iPo );
     Abc_Print( 1, "Writing CEX for output %d to %s\n", pCex->iPo, pCexPath );
     pCexFile = fopen( pCexPath, "w" );