From 823ee004fa2f24a9c8781e359967b088cb954140 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
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/Core/CallPathManager.h | 4 ++--
 lib/Core/PTree.h           | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/Core')

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>
 
-- 
cgit 1.4.1