From 823ee004fa2f24a9c8781e359967b088cb954140 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 30 May 2019 16:22:56 +0100 Subject: Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a consistent naming convention --- lib/Solver/ConstantDivision.h | 4 ++-- lib/Solver/STPBuilder.h | 4 ++-- lib/Solver/Z3Builder.h | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) (limited to 'lib/Solver') 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 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" -- cgit 1.4.1