3 files changed, 6 insertions, 6 deletions
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"