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/theory/arith/arith_utilities.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/theory/arith/arith_utilities.h')

diff --git a/src/theory/arith/arith_utilities.h b/src/theory/arith/arith_utilities.h
index aabc5326d..c8e92dfd3 100644
--- a/src/theory/arith/arith_utilities.h
+++ b/src/theory/arith/arith_utilities.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__THEORY__ARITH__ARITH_UTILITIES_H
-#define __CVC4__THEORY__ARITH__ARITH_UTILITIES_H
+#ifndef CVC4__THEORY__ARITH__ARITH_UTILITIES_H
+#define CVC4__THEORY__ARITH__ARITH_UTILITIES_H
 
 #include <unordered_map>
 #include <unordered_set>
@@ -307,4 +307,4 @@ inline Node mkPi()
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4__THEORY__ARITH__ARITH_UTILITIES_H */
+#endif /* CVC4__THEORY__ARITH__ARITH_UTILITIES_H */
-- 
cgit v1.2.3