fix warning on 64bit systems: cast to pointer from integer of different size [-Wint...

Signed-off-by: Giel van Schijndel <me@mortis.eu>

diff --git a/src/util.h b/src/util.h
index e711057..064339f 100644 (file)
--- 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);
 }