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/util/util_hack.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc/util')

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