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

(limited to 'src/smt_util/boolean_simplification.h')

diff --git a/src/smt_util/boolean_simplification.h b/src/smt_util/boolean_simplification.h
index 71e0b55f3..c1e2e4d76 100644
--- a/src/smt_util/boolean_simplification.h
+++ b/src/smt_util/boolean_simplification.h
@@ -16,8 +16,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__BOOLEAN_SIMPLIFICATION_H
-#define __CVC4__BOOLEAN_SIMPLIFICATION_H
+#ifndef CVC4__BOOLEAN_SIMPLIFICATION_H
+#define CVC4__BOOLEAN_SIMPLIFICATION_H
 
 #include <vector>
 #include <algorithm>
@@ -238,4 +238,4 @@ class BooleanSimplification {
 
 }/* CVC4 namespace */
 
-#endif /* __CVC4__BOOLEAN_SIMPLIFICATION_H */
+#endif /* CVC4__BOOLEAN_SIMPLIFICATION_H */
-- 
cgit v1.2.3