Don't include malloc.h.

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

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"