6 files changed, 16 insertions, 16 deletions
diff --git a/lib/Core/ExecutorTimerInfo.h b/lib/Core/ExecutorTimerInfo.h
index 9127fb68..7fd85c0f 100644
--- a/lib/Core/ExecutorTimerInfo.h
+++ b/lib/Core/ExecutorTimerInfo.h
@@ -11,8 +11,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef EXECUTORTIMERINFO_H_
-#define EXECUTORTIMERINFO_H_
+#ifndef KLEE_EXECUTORTIMERINFO_H
+#define KLEE_EXECUTORTIMERINFO_H
 
 #include "klee/Internal/System/Time.h"
 
@@ -39,4 +39,4 @@ public:
 }
 
 
-#endif /* EXECUTORTIMERINFO_H_ */
+#endif /* KLEE_EXECUTORTIMERINFO_H */
diff --git a/lib/Expr/ArrayExprOptimizer.h b/lib/Expr/ArrayExprOptimizer.h
index 40199821..25a0c2bb 100644
--- a/lib/Expr/ArrayExprOptimizer.h
+++ b/lib/Expr/ArrayExprOptimizer.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef KLEE_EXPROPTIMIZER_H
-#define KLEE_EXPROPTIMIZER_H
+#ifndef KLEE_ARRAYEXPROPTIMIZER_H
+#define KLEE_ARRAYEXPROPTIMIZER_H
 
 #include <cstdint>
 #include <map>
diff --git a/lib/Expr/ArrayExprRewriter.h b/lib/Expr/ArrayExprRewriter.h
index 2a7da998..a0ee9f1d 100644
--- a/lib/Expr/ArrayExprRewriter.h
+++ b/lib/Expr/ArrayExprRewriter.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef LIB_EXPRREWRITER_H_
-#define LIB_EXPRREWRITER_H_
+#ifndef KLEE_ARRAYEXPRREWRITER_H
+#define KLEE_ARRAYEXPRREWRITER_H
 
 #include <iterator>
 #include <map>
@@ -44,4 +44,4 @@ private:
 };
 } // namespace klee
 
-#endif /* LIB_EXPRREWRITER_H_ */
+#endif /* KLEE_ARRAYEXPRREWRITER_H */
diff --git a/lib/Expr/ArrayExprVisitor.h b/lib/Expr/ArrayExprVisitor.h
index 61b2f7f6..6b79ae8a 100644
--- a/lib/Expr/ArrayExprVisitor.h
+++ b/lib/Expr/ArrayExprVisitor.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef KLEE_ARRAYEXPRVISITOR_H_
-#define KLEE_ARRAYEXPRVISITOR_H_
+#ifndef KLEE_ARRAYEXPRVISITOR_H
+#define KLEE_ARRAYEXPRVISITOR_H
 
 #include "klee/ExprBuilder.h"
 #include "klee/SolverCmdLine.h"
diff --git a/lib/Module/KLEEIRMetaData.h b/lib/Module/KLEEIRMetaData.h
index 86c24d05..3aeb9902 100644
--- a/lib/Module/KLEEIRMetaData.h
+++ b/lib/Module/KLEEIRMetaData.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef LIB_MODULE_KLEEIRMETADATA_H_
-#define LIB_MODULE_KLEEIRMETADATA_H_
+#ifndef KLEE_KLEEIRMETADATA_H
+#define KLEE_KLEEIRMETADATA_H
 
 #include "llvm/IR/MDBuilder.h"
 
@@ -48,4 +48,4 @@ public:
 };
 }
 
-#endif /* LIB_MODULE_KLEEIRMETADATA_H_ */
+#endif /* KLEE_KLEEIRMETADATA_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 */