remove duplication

don't use the same name for two different pieces of code

1 files changed, 1 insertions, 0 deletions

diff --git a/picirq.c b/picirq.c
index ab3e7b9..86d1d1d 100644
--- a/picirq.c
+++ b/picirq.c
@@ -2,6 +2,7 @@
 
 #include "types.h"
 #include "x86.h"
+#include "traps.h"
 #include "defs.h"
 
 // I/O Addresses of the two 8259A programmable interrupt controllers