1 files changed, 0 insertions, 1 deletions
diff --git a/picirq.c b/picirq.c
index b7d0116..7c5f713 100644
--- a/picirq.c
+++ b/picirq.c
@@ -1,7 +1,6 @@
 #include "types.h"
 #include "x86.h"
 #include "traps.h"
-#include "defs.h"
 
 // I/O Addresses of the two 8259A programmable interrupt controllers
 #define IO_PIC1         0x20    // Master (IRQs 0-7)