From df4018141752de57cd7ce59ef556f541016facc1 Mon Sep 17 00:00:00 2001
From: Giel van Schijndel <me@mortis.eu>
Date: Tue, 12 Jul 2011 14:24:14 +0200
Subject: [PATCH] fix warning on 64bit systems: cast to pointer from integer of
 different size [-Wint-to-pointer-cast]

Signed-off-by: Giel van Schijndel <me@mortis.eu>
---
 src/util.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util.h b/src/util.h
index e7110570c6..064339f99b 100644
--- a/src/util.h
+++ b/src/util.h
@@ -648,7 +648,7 @@ inline bool TerminateThread(pthread_t hthread, unsigned int nExitCode)
     return (pthread_cancel(hthread) == 0);
 }
 
-inline void ExitThread(unsigned int nExitCode)
+inline void ExitThread(size_t nExitCode)
 {
     pthread_exit((void*)nExitCode);
 }