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/extra.h | |
| 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/extra.h')
| -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(); |