5 files changed, 10 insertions, 10 deletions
diff --git a/lib/Core/CallPathManager.h b/lib/Core/CallPathManager.h
index 0a648777..a39bc387 100644
--- a/lib/Core/CallPathManager.h
+++ b/lib/Core/CallPathManager.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef __UTIL_CALLPATHMANAGER_H__
-#define __UTIL_CALLPATHMANAGER_H__
+#ifndef KLEE_CALLPATHMANAGER_H
+#define KLEE_CALLPATHMANAGER_H
 
 #include "klee/Statistics.h"
 
diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index faa65d85..b15987d5 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef __UTIL_PTREE_H__
-#define __UTIL_PTREE_H__
+#ifndef KLEE_PTREE_H
+#define KLEE_PTREE_H
 
 #include <klee/Expr.h>
 
diff --git a/lib/Solver/ConstantDivision.h b/lib/Solver/ConstantDivision.h
index 9e3e9c95..3b3a2799 100644
--- a/lib/Solver/ConstantDivision.h
+++ b/lib/Solver/ConstantDivision.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef __UTIL_CONSTANTDIVISION_H__
-#define __UTIL_CONSTANTDIVISION_H__
+#ifndef KLEE_CONSTANTDIVISION_H
+#define KLEE_CONSTANTDIVISION_H
 
 #include <stdint.h>
 
diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h
index 5be34029..f4b2ffc6 100644
--- a/lib/Solver/STPBuilder.h
+++ b/lib/Solver/STPBuilder.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef __UTIL_STPBUILDER_H__
-#define __UTIL_STPBUILDER_H__
+#ifndef KLEE_STPBUILDER_H
+#define KLEE_STPBUILDER_H
 
 #include "klee/util/ExprHashMap.h"
 #include "klee/util/ArrayExprHash.h"
diff --git a/lib/Solver/Z3Builder.h b/lib/Solver/Z3Builder.h
index 7cdb2b5e..7057176e 100644
--- a/lib/Solver/Z3Builder.h
+++ b/lib/Solver/Z3Builder.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef __UTIL_Z3BUILDER_H__
-#define __UTIL_Z3BUILDER_H__
+#ifndef KLEE_Z3BUILDER_H
+#define KLEE_Z3BUILDER_H
 
 #include "klee/Config/config.h"
 #include "klee/util/ArrayExprHash.h"