update headers

we need uint64_t in litmus.h

2 files changed, 1 insertions, 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 */