X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstring.h;h=1fff82a060c32080a99810c4d9413dc97a441910;hb=4053c61636a5ee545c8130bcedea12d77b85de4c;hp=05b957f297ae78454738e9c41a2cff7e97ee5a17;hpb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;p=pintos-anon

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);