From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 21 Sep 2004 02:28:36 +0000 (+0000)
Subject: Remove unneeded #include.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=32b1b03388226a6508b7ebc514e9aa1ff394fdc9

Remove unneeded #include.
---

diff --git a/src/threads/thread.c b/src/threads/thread.c
index 336be03..b50eafe 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -13,7 +13,6 @@
 #include "threads/synch.h"
 #ifdef USERPROG
 #include "userprog/process.h"
-#include "userprog/gdt.h"
 #endif
 
 /* Random value for struct thread's `magic' member.