X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Floader.S;h=4e4fbb4c3e162ace5f0c0d6d1477a92d99e49bbd;hb=6c5c6fdfe80bad40c90c19b67f00226610d59a38;hp=41289d1281f82ac3ccd6a62a2199f9ecbbaa2d8c;hpb=c9d103e3fc1f398acb10bbaa66bf5a61318d26e9;p=pintos-anon

diff --git a/src/threads/loader.S b/src/threads/loader.S
index 41289d1..4e4fbb4 100644
--- a/src/threads/loader.S
+++ b/src/threads/loader.S
@@ -1,6 +1,5 @@
 #include "loader.h"
 #include "mmu.h"
-#include "gdt.h"
 	
 ##############################################################################
 # Kernel loader.