From 31f965a01fbf7fd6e8590395de2f59d1b224607c Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Tue, 15 Jan 2019 19:12:48 +0100
Subject: ExecutionState: remove fnAliases

---
 include/klee/ExecutionState.h | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'include')

diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h
index 711cf1b3..066ba539 100644
--- a/include/klee/ExecutionState.h
+++ b/include/klee/ExecutionState.h
@@ -72,8 +72,6 @@ private:
   // unsupported, use copy constructor
   ExecutionState &operator=(const ExecutionState &);
 
-  std::map<std::string, std::string> fnAliases;
-
 public:
   // Execution - Control Flow specific
 
@@ -143,8 +141,6 @@ public:
   /// @brief Set of used array names for this state.  Used to avoid collisions.
   std::set<std::string> arrayNames;
 
-  std::string getFnAlias(std::string fn);
-
   // The objects handling the klee_open_merge calls this state ran through
   std::vector<ref<MergeHandler> > openMergeStack;
 
-- 
cgit 1.4.1