From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 01:02:24 +0000 (+0000)
Subject: Use lib.h instead of <string.h>.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=3d0a63da359c02d188c3adca1011a2daa5739ad8

Use lib.h instead of <string.h>.
---

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index 011816a..3cf8241 100644
--- 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. */