From 3fd42912ad7eac58ba37b917d484384c61428969 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 16 May 2024 06:24:18 -0700
Subject: [PATCH] Suggested fix.

---
 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 b98a4bbe3..34a327034 100644
--- a/src/proof/pdr/pdrCore.c
+++ b/src/proof/pdr/pdrCore.c
@@ -697,7 +697,7 @@ int Pdr_ManGeneralize( Pdr_Man_t * p, int k, Pdr_Set_t * pCube, Pdr_Set_t ** ppP
         return -1;
     if ( RetValue == 0 )
     {
-        p->tGeneral += clock() - clk;
+        p->tGeneral += Abc_Clock() - clk;
         return 0;
     }