From: Ben Pfaff Date: Tue, 31 Aug 2004 01:02:24 +0000 (+0000) Subject: Use lib.h instead of . X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3d0a63da359c02d188c3adca1011a2daa5739ad8;p=pintos-anon Use lib.h instead of . --- 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 #include -#include #include "debug.h" +#include "lib.h" #include "mmu.h" /* A free page owned by the page allocator. */