From 28872c1a0cb8a8f6b835af67719b9cd9aba66d3f Mon Sep 17 00:00:00 2001
From: Andrea Mattavelli <andreamattavelli@gmail.com>
Date: Sun, 9 Apr 2017 13:33:29 +0200
Subject: Removed unused variable 'fake_object' in MemoryObject

---
 lib/Core/Memory.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/lib/Core/Memory.h b/lib/Core/Memory.h
index d08bfb0c..4e5c8734 100644
--- a/lib/Core/Memory.h
+++ b/lib/Core/Memory.h
@@ -50,8 +50,6 @@ public:
   mutable bool isGlobal;
   bool isFixed;
 
-  /// true if created by us.
-  bool fake_object;
   bool isUserSpecified;
 
   MemoryManager *parent;
@@ -96,7 +94,6 @@ public:
       isLocal(_isLocal),
       isGlobal(_isGlobal),
       isFixed(_isFixed),
-      fake_object(false),
       isUserSpecified(false),
       parent(_parent), 
       allocSite(_allocSite) {
-- 
cgit 1.4.1