Merge remote-tracking branch 'kiszka/master'

[jailhouse.git] / inmates / lib / arm / timer.c

diff --git a/inmates/lib/arm/timer.c b/inmates/lib/arm/timer.c
index 5f5e86585aed7d82d90148a932ab25b9832de576..fcb41614c2f2e664ef2dd7b5cf6a9b5bb1a06ffe 100644 (file)
--- a/inmates/lib/arm/timer.c
+++ b/inmates/lib/arm/timer.c
@@ -13,7 +13,7 @@
  */
 
 #include <asm/sysregs.h>
-#include <inmates/inmate.h>
+#include <inmate.h>
 
 unsigned long timer_get_frequency(void)
 {