UCQ debug code
[akaros.git] / tests / tsc_spitter.c
index 46a0594..3686565 100644 (file)
@@ -1,5 +1,5 @@
 #include <stdlib.h>
-#include <rstdio.h>
+#include <stdio.h>
 #include <arch/arch.h>
 
 int main(int argc, char** argv)