parlib: have 2LS libraries #include parlib/stdio.h
[akaros.git] / user / parlib / timing.c
index d58bb8d..a9ed09b 100644 (file)
@@ -2,7 +2,7 @@
 #include <parlib/common.h>
 #include <parlib/timing.h>
 #include <ros/procinfo.h>
-#include <stdio.h>
+#include <parlib/stdio.h>
 
 uint64_t udelay(uint64_t usec)
 {