From af97960c8d3761b9fd86dff9ef4eee3999448194 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Thu, 30 May 2019 18:21:36 +0200
Subject: make include guard naming consistent

---
 lib/Solver/MetaSMTBuilder.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/Solver/MetaSMTBuilder.h')

diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index db99e07f..ffe4608d 100644
--- a/lib/Solver/MetaSMTBuilder.h
+++ b/lib/Solver/MetaSMTBuilder.h
@@ -14,8 +14,8 @@
  *      Author: hpalikar
  */
 
-#ifndef METASMTBUILDER_H_
-#define METASMTBUILDER_H_
+#ifndef KLEE_METASMTBUILDER_H
+#define KLEE_METASMTBUILDER_H
 
 #include "klee/Config/config.h"
 #include "klee/Expr.h"
@@ -1200,4 +1200,4 @@ MetaSMTBuilder<SolverContext>::constructActual(ref<Expr> e, int *width_out) {
 
 #endif /* ENABLE_METASMT */
 
-#endif /* METASMTBUILDER_H_ */
+#endif /* KLEE_METASMTBUILDER_H */
-- 
cgit 1.4.1