diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-18 09:58:06 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-18 09:58:06 -0700 |
commit | 508b6f1b1356f87340d7e722c288b9ddccdd542e (patch) | |
tree | 6c98ccef6140308f2fdde343cf52725370efbae8 /src/misc/extra | |
parent | 6dc3a0a2469b4cf9b5d753dd66776a7b45583a56 (diff) | |
download | abc-508b6f1b1356f87340d7e722c288b9ddccdd542e.tar.gz abc-508b6f1b1356f87340d7e722c288b9ddccdd542e.tar.bz2 abc-508b6f1b1356f87340d7e722c288b9ddccdd542e.zip |
Fixing mismatch between declaration of the output value of Extra_CpuTime.
Diffstat (limited to 'src/misc/extra')
-rw-r--r-- | src/misc/extra/extra.h | 2 |
1 files changed, 1 insertions, 1 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(); |