X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Frandom.h;h=0950ae2e0e76f54f6f018c457d14d6a3e2daf5e0;hb=bb940d21474958a1d8ee2abffdcb6bac27918398;hp=cc6eed41bf28f0788c0be709bae1d21754c59130;hpb=cf2f40d622b3d18afaf03142dc234de3b6a40c81;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 */