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

(limited to 'src/smt/model.h')

diff --git a/src/smt/model.h b/src/smt/model.h
index 214581778..b435fb5e2 100644
--- a/src/smt/model.h
+++ b/src/smt/model.h
@@ -14,8 +14,8 @@
 
 #include "cvc4_private.h"
 
-#ifndef __CVC4__MODEL_H
-#define __CVC4__MODEL_H
+#ifndef CVC4__MODEL_H
+#define CVC4__MODEL_H
 
 #include <iosfwd>
 #include <vector>
@@ -107,4 +107,4 @@ public:
 
 }/* CVC4 namespace */
 
-#endif  /* __CVC4__MODEL_H */
+#endif  /* CVC4__MODEL_H */
-- 
cgit v1.2.3