1 files changed, 0 insertions, 12 deletions

diff --git a/pintos-progos/devices/input.h b/pintos-progos/devices/input.h
deleted file mode 100644
index a2f50e9..0000000
--- a/pintos-progos/devices/input.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef DEVICES_INPUT_H
-#define DEVICES_INPUT_H
-
-#include <stdbool.h>
-#include <stdint.h>
-
-void input_init (void);
-void input_putc (uint8_t);
-uint8_t input_getc (void);
-bool input_full (void);
-
-#endif /* devices/input.h */