From 39f6fbb052d41489ea2b49c109d5d4724ce8d673 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Mon, 12 Aug 2024 22:53:48 +0200
Subject: [PATCH] Revert "Fix pdr timing output"

This reverts commit c8d64b8682473be6f82b3b8c85a89687b08f398a.
---
 src/proof/pdr/pdrCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c
index 842324c90..371dda168 100644
--- 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 = (char *)malloc( iCexPathSize );
+    pCexPath = 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" );