Redo makefiles.

[pintos-anon] / src / userprog / exception.c

diff --git a/src/userprog/exception.c b/src/userprog/exception.c
index 6383a4b99f591489ec7dd0099cc151318c59dfd0..0d5461a31078a20145490c668ae5fd302f51569f 100644 (file)
--- a/src/userprog/exception.c
+++ b/src/userprog/exception.c
@@ -1,9 +1,9 @@
 #include "exception.h"
 #include <inttypes.h>
-#include "lib.h"
 #include "gdt.h"
-#include "interrupt.h"
-#include "thread.h"
+#include "lib/lib.h"
+#include "threads/interrupt.h"
+#include "threads/thread.h"
 
 static void kill (struct intr_frame *);
 static void page_fault (struct intr_frame *);