From ecf0549adc8b86c9daeee9eb4cd186fdec2aa21b Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Mon, 25 Jul 2011 15:35:23 -0400
Subject: update headers

we need uint64_t in litmus.h
---
 include/litmus.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'include')

diff --git a/include/litmus.h b/include/litmus.h
index 52435d8..40ee124 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -6,6 +6,7 @@ extern "C" {
 #endif
 
 #include <sys/types.h>
+#include <stdint.h>
 
 /* Include kernel header.
  * This is required for the rt_param
-- 
cgit v1.2.2