From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 13 Sep 2004 02:14:24 +0000 (+0000)
Subject: Change "stddef.h" to <stddef.h>
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fbc28c24bfd95208ba4394830ced0c1fbfab4a42;p=pintos-anon

Change "stddef.h" to <stddef.h>
---

diff --git a/src/lib/stdlib.h b/src/lib/stdlib.h
index d2f9bba..9455c6a 100644
--- a/src/lib/stdlib.h
+++ b/src/lib/stdlib.h
@@ -1,7 +1,7 @@
 #ifndef __LIB_STDLIB_H
 #define __LIB_STDLIB_H
 
-#include "stddef.h"
+#include <stddef.h>
 
 int atoi (const char *);
 
diff --git a/src/lib/string.h b/src/lib/string.h
index 05b957f..1fff82a 100644
--- a/src/lib/string.h
+++ b/src/lib/string.h
@@ -1,7 +1,7 @@
 #ifndef __LIB_STRING_H
 #define __LIB_STRING_H
 
-#include "stddef.h"
+#include <stddef.h>
 
 /* Standard. */
 void *memcpy (void *, const void *, size_t);