diff options
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/extra/extra.h | 2 | ||||
| -rw-r--r-- | src/misc/util/util_hack.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index 8d3ba254..bb31dc1f 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -371,7 +371,7 @@ extern unsigned Extra_TruthSemiCanonicize( unsigned * pInOut, unsigned * pAux /*=== extraUtilUtil.c ================================================================*/ -extern long Extra_CpuTime(); +extern clock_t Extra_CpuTime(); extern double Extra_CpuTimeDouble(); extern int Extra_GetSoftDataLimit(); extern ABC_DLL void Extra_UtilGetoptReset(); diff --git a/src/misc/util/util_hack.h b/src/misc/util/util_hack.h index 505b8c99..4d611ef4 100644 --- a/src/misc/util/util_hack.h +++ b/src/misc/util/util_hack.h @@ -37,7 +37,7 @@ ABC_NAMESPACE_HEADER_START #define getSoftDataLimit Extra_GetSoftDataLimit #define MMoutOfMemory Extra_UtilMMoutOfMemory -extern long Extra_CpuTime(); +extern clock_t Extra_CpuTime(); extern int Extra_GetSoftDataLimit(); extern void (*Extra_UtilMMoutOfMemory)( long size ); |