From 95ba9dd6582669736e25167e06c1521adf120cbb Mon Sep 17 00:00:00 2001
From: "Ben \"root\" Anderson" <roothorick@gmail.com>
Date: Fri, 25 Oct 2013 15:41:20 -0500
Subject: [PATCH] You need stdint.h for uint64_t

---
 src/archutils/Common/PthreadHelpers.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/archutils/Common/PthreadHelpers.h b/src/archutils/Common/PthreadHelpers.h
index 956ca6998d..1f5fcaf9d6 100644
--- a/src/archutils/Common/PthreadHelpers.h
+++ b/src/archutils/Common/PthreadHelpers.h
@@ -1,6 +1,8 @@
 #ifndef PID_THREAD_HELPERS_H
 #define PID_THREAD_HELPERS_H
 
+#include <stdint.h>
+
 RString ThreadsVersion();
 
 /* Get the current thread's ThreadID. */