From 00eafb2325ba53bc73f633257edcc7066e662b32 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Jul 2012 09:27:28 -0700 Subject: Fixing time printouts in 'pdr'. --- src/misc/util/abc_global.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h index 0f7c15c5..a383644b 100644 --- a/src/misc/util/abc_global.h +++ b/src/misc/util/abc_global.h @@ -285,19 +285,19 @@ static inline void Abc_Print( int level, const char * format, ... ) va_end( args ); } -static inline void Abc_PrintTime( int level, const char * pStr, int time ) +static inline void Abc_PrintTime( int level, const char * pStr, clock_t time ) { ABC_PRT( pStr, time ); } -static inline void Abc_PrintTimeP( int level, const char * pStr, int time, int Time ) +static inline void Abc_PrintTimeP( int level, const char * pStr, clock_t time, clock_t Time ) { ABC_PRTP( pStr, time, Time ); } -static inline void Abc_PrintMemoryP( int level, const char * pStr, int time, int Time ) +static inline void Abc_PrintMemoryP( int level, const char * pStr, int mem, int Mem ) { - ABC_PRMP( pStr, time, Time ); + ABC_PRMP( pStr, mem, Mem ); } // Returns the next prime >= p -- cgit v1.2.3