From 7abf49d2f22af633f2fb3546f9f9fd818cef25df Mon Sep 17 00:00:00 2001
From: kaashoek <kaashoek>
Date: Sun, 3 Sep 2006 15:39:29 +0000
Subject: remove duplication don't use the same name for two different pieces
 of code

---
 picirq.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'picirq.c')

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
-- 
cgit v1.2.3