sys_read(), sys_write(), and sys_lseek()
[akaros.git] / tests / divzero.c
index 59dbf18..3c9fe99 100644 (file)
@@ -1,6 +1,6 @@
 // buggy program - causes a divide by zero exception
 
-#include <stdio.h>
+#include <rstdio.h>
 
 int zero;