Add support for ppc hw tb clock, remove kernelcompat.h

[ust.git] / libust / marker.c

diff --git a/libust/marker.c b/libust/marker.c
index fd16860ecf85a9c070f6df1ee4d751bbae89c5d2..56ffe39960dd6d6e79281410cf5cf5002019906d 100644 (file)
--- a/libust/marker.c
+++ b/libust/marker.c
@@ -22,7 +22,7 @@
 #include <urcu-bp.h>
 #include <urcu/rculist.h>
 
-#include <ust/kernelcompat.h>
+#include <ust/core.h>
 #include <ust/marker.h>
 
 #include "usterr.h"