From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 03:22:39 +0000 (+0000)
Subject: Don't include malloc.h.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9aeade22c073c7a94bc5b56f6c00c0edaeed2b00;p=pintos-anon

Don't include malloc.h.
---

diff --git a/src/threads/synch.c b/src/threads/synch.c
index 894c73d..c3b46a8 100644
--- 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 454eef1..cc18666 100644
--- 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"