parlib: Fix u32/u64 issue with pvcalarm
[akaros.git] / tests / reboot.c
index 8b27f8a..7be88d3 100644 (file)
@@ -1,5 +1,5 @@
 #include <stdio.h>
-#include <parlib.h>
+#include <parlib/parlib.h>
 
 int main(int argc, char** argv)
 {