From 968b59aa3baa497c19bb9f332ab062bb22c15811 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 09:22:44 -0700 Subject: Fixing time printouts in 'pdr'. --- src/proof/pdr/pdrInv.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/pdr/pdrInv.c') diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c index cd94e22e..c4a85875 100644 --- a/src/proof/pdr/pdrInv.c +++ b/src/proof/pdr/pdrInv.c @@ -44,7 +44,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, int Time ) +void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, clock_t Time ) { Vec_Ptr_t * vVec; int i, ThisSize, Length, LengthStart; -- cgit v1.2.3