From 508b6f1b1356f87340d7e722c288b9ddccdd542e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 18 Sep 2012 09:58:06 -0700
Subject: Fixing mismatch between declaration of the output value of
 Extra_CpuTime.

---
 src/misc/extra/extra.h    | 2 +-
 src/misc/util/util_hack.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/misc')

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 );
 
-- 
cgit v1.2.3