X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Frandom.h;h=0950ae2e0e76f54f6f018c457d14d6a3e2daf5e0;hb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;hp=cc6eed41bf28f0788c0be709bae1d21754c59130;hpb=859a5d60ca3a5a78d88a7bfb69f9944a41535504;p=pintos-anon

diff --git a/src/lib/random.h b/src/lib/random.h
index cc6eed4..0950ae2 100644
--- a/src/lib/random.h
+++ b/src/lib/random.h
@@ -1,5 +1,5 @@
-#ifndef HEADER_RANDOM_H
-#define HEADER_RANDOM_H 1
+#ifndef __LIB_RANDOM_H
+#define __LIB_RANDOM_H
 
 #include <stddef.h>
 
@@ -7,4 +7,4 @@ void random_init (unsigned seed);
 void random_bytes (void *, size_t);
 unsigned long random_ulong (void);
 
-#endif /* random.h */
+#endif /* lib/random.h */