Don't include malloc.h.

diff --git a/src/threads/synch.c b/src/threads/synch.c
index 894c73d0098a04d90c7deba1c81da86272e25e79..c3b46a8c7f675708cacd2d68d0b35c894480c5f6 100644 (file)
--- a/src/threads/synch.c
+++ b/src/threads/synch.c
@@ -1,7 +1,6 @@
 #include "synch.h"
 #include "interrupt.h"
 #include "lib.h"
-#include "malloc.h"
 #include "thread.h"
 
 /* One thread in a list. */

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index 454eef1fa286e8612e7a7bd2da9bab5839098c97..cc186665e5682fd2994181e7865598e14e3335e5 100644 (file)
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -6,7 +6,6 @@
 #include "init.h"
 #include "lib.h"
 #include "mmu.h"
-#include "malloc.h"
 #include "paging.h"
 #include "palloc.h"