Small loader cleanups.

[pintos-anon] / src / threads / palloc.c

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index 011816a3de49e57e6c41badd6ca4595c6b67a4b7..3cf8241b1a6152a9497eca3aedcf18e2d0f1dcc2 100644 (file)
--- a/src/threads/palloc.c
+++ b/src/threads/palloc.c
@@ -1,8 +1,8 @@
 #include "palloc.h"
 #include <stddef.h>
 #include <stdint.h>
-#include <string.h>
 #include "debug.h"
+#include "lib.h"
 #include "mmu.h"
 
 /* A free page owned by the page allocator. */