From ac9cfc766af228fc0b0298993df17573a53ec7be Mon Sep 17 00:00:00 2001
From: Andrew Luka <49692450+sirandreww@users.noreply.github.com>
Date: Sun, 21 Apr 2024 10:55:52 +0300
Subject: [PATCH] Update pdrCore.c

Fixed issue with time stats for generalization in PDR
---
 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;
     }