4 files changed, 12 insertions, 12 deletions
diff --git a/src/lib/clock_gettime.h b/src/lib/clock_gettime.h
index 294722121..d9382f506 100644
--- a/src/lib/clock_gettime.h
+++ b/src/lib/clock_gettime.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private_library.h"
 
-#ifndef __CVC4__LIB__CLOCK_GETTIME_H
-#define __CVC4__LIB__CLOCK_GETTIME_H
+#ifndef CVC4__LIB__CLOCK_GETTIME_H
+#define CVC4__LIB__CLOCK_GETTIME_H
 
 #include "lib/replacements.h"
 
@@ -72,4 +72,4 @@ long clock_gettime(clockid_t which_clock, struct timespec* tp);
 #endif /* __cplusplus */
 
 #endif /* HAVE_CLOCK_GETTIME */
-#endif /*__CVC4__LIB__CLOCK_GETTIME_H */
+#endif /*CVC4__LIB__CLOCK_GETTIME_H */
diff --git a/src/lib/ffs.h b/src/lib/ffs.h
index be34a98a3..ce7ecc2a1 100644
--- a/src/lib/ffs.h
+++ b/src/lib/ffs.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__LIB__FFS_H
-#define __CVC4__LIB__FFS_H
+#ifndef CVC4__LIB__FFS_H
+#define CVC4__LIB__FFS_H
 
 //We include this for HAVE_FFS
 #include "cvc4autoconfig.h"
@@ -42,4 +42,4 @@ int ffs(int i);
 #endif /* __cplusplus */
 
 #endif /* HAVE_FFS */
-#endif /* __CVC4__LIB__FFS_H */
+#endif /* CVC4__LIB__FFS_H */
diff --git a/src/lib/replacements.h b/src/lib/replacements.h
index 2a857a4ef..fef6baa28 100644
--- a/src/lib/replacements.h
+++ b/src/lib/replacements.h
@@ -14,8 +14,8 @@
  ** Common header for replacement function sources.
  **/
 
-#ifndef __CVC4__LIB__REPLACEMENTS_H
-#define __CVC4__LIB__REPLACEMENTS_H
+#ifndef CVC4__LIB__REPLACEMENTS_H
+#define CVC4__LIB__REPLACEMENTS_H
 
 #if (defined(__BUILDING_CVC4LIB) || defined(__BUILDING_CVC4LIB_UNIT_TEST)) && !defined(__BUILDING_STATISTICS_FOR_EXPORT)
 #  include "cvc4_private.h"
@@ -31,4 +31,4 @@
 #  endif
 #endif
 
-#endif /* __CVC4__LIB__REPLACEMENTS_H */
+#endif /* CVC4__LIB__REPLACEMENTS_H */
diff --git a/src/lib/strtok_r.h b/src/lib/strtok_r.h
index 8243157b5..0640893c9 100644
--- a/src/lib/strtok_r.h
+++ b/src/lib/strtok_r.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__LIB__STRTOK_R_H
-#define __CVC4__LIB__STRTOK_R_H
+#ifndef CVC4__LIB__STRTOK_R_H
+#define CVC4__LIB__STRTOK_R_H
 
 #ifdef HAVE_STRTOK_R
 
@@ -39,4 +39,4 @@ char* strtok_r(char *str, const char *delim, char **saveptr);
 #endif /* __cplusplus */
 
 #endif /* HAVE_STRTOK_R */
-#endif /* __CVC4__LIB__STRTOK_R_H */
+#endif /* CVC4__LIB__STRTOK_R_H */