From 2ab48defab1f0c8918cd7612c1943be7503e4d30 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 24 Apr 2019 15:39:24 -0700
Subject: Do not use __ prefix for header guards. (#2974)

Fixes 2887.
---
 src/util/index.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/util/index.h')

diff --git a/src/util/index.h b/src/util/index.h
index 8000c049a..2ee6ff19e 100644
--- a/src/util/index.h
+++ b/src/util/index.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__INDEX_H
-#define __CVC4__INDEX_H
+#ifndef CVC4__INDEX_H
+#define CVC4__INDEX_H
 
 #include <cstdint>
 
@@ -28,4 +28,4 @@ using Index = uint32_t;
 
 }/* CVC4 namespace */
 
-#endif /* __CVC4__INDEX_H */
+#endif /* CVC4__INDEX_H */
-- 
cgit v1.2.3