From 3d0a63da359c02d188c3adca1011a2daa5739ad8 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 01:02:24 +0000
Subject: [PATCH] Use lib.h instead of <string.h>.

---
 src/threads/palloc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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. */
-- 
2.30.2