Fix up header guards.

[pintos-anon] / src / lib / stdarg.h

diff --git a/src/lib/stdarg.h b/src/lib/stdarg.h
index 690bb284906c40f9c9113199115cb6c2b5df0435..32622b5ab70a6065b091eaf0d14542f09eae1882 100644 (file)
--- 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. */