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 +
 src/syscalls.c   | 2 --
 2 files changed, 1 insertion(+), 2 deletions(-)

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
diff --git a/src/syscalls.c b/src/syscalls.c
index d800141..c68f15b 100644
--- a/src/syscalls.c
+++ b/src/syscalls.c
@@ -8,8 +8,6 @@
 /* for syscall() */
 #include <unistd.h>
 
-//#include <sys/types.h>
-
 #include "litmus.h"
 
 /*	Syscall stub for setting RT mode and scheduling options */
-- 
cgit v1.2.2