1 files changed, 4 insertions, 4 deletions
diff --git a/lib/stdio.h b/lib/stdio.h
index 4711a29..f7c1846 100644
--- a/lib/stdio.h
+++ b/lib/stdio.h
@@ -3,14 +3,14 @@
 #include <stdarg.h>
 
 /** An object type used for streams */
-typedef struct FILE_t {
+typedef struct kIoDevice {
   int id;
   /** Functions that prints a character to the stream */
-  void (*putc)(const struct FILE_t *, char);
+  void (*putc)(const struct kIoDevice *, char);
   /** Function that prints a string to the stream */
-  int (*puts)(const struct FILE_t *, const char *, int);
+  int (*puts)(const struct kIoDevice *, const char *, int);
   /** Flush all buffers */
-  void (*flush)(const struct FILE_t *);
+  void (*flush)(const struct kIoDevice *);
 } FILE;
 
 /** A FILE value corresponding to stdin, the keyboard buffer */