X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstdarg.h;h=32622b5ab70a6065b091eaf0d14542f09eae1882;hb=3b458804e1d0a460fb1c90f06f495b9f7a972424;hp=690bb284906c40f9c9113199115cb6c2b5df0435;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

diff --git a/src/lib/stdarg.h b/src/lib/stdarg.h
index 690bb28..32622b5 100644
--- a/src/lib/stdarg.h
+++ b/src/lib/stdarg.h
@@ -1,5 +1,5 @@
-#ifndef LIB_STDARG_H
-#define LIB_STDARG_H
+#ifndef __LIB_STDARG_H
+#define __LIB_STDARG_H
 
 /* GCC has <stdarg.h> functionality as built-ins,
    so all we need is to use it. */