diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:27:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:27:28 -0700 |
| commit | 00eafb2325ba53bc73f633257edcc7066e662b32 (patch) | |
| tree | 2c9e1ac4832dc97926fdd30d89c1ba72d9f30fb4 /src/misc | |
| parent | 968b59aa3baa497c19bb9f332ab062bb22c15811 (diff) | |
| download | abc-00eafb2325ba53bc73f633257edcc7066e662b32.tar.gz abc-00eafb2325ba53bc73f633257edcc7066e662b32.tar.bz2 abc-00eafb2325ba53bc73f633257edcc7066e662b32.zip | |
Fixing time printouts in 'pdr'.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/util/abc_global.h | 8 |
1 files 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 |