From 132214434400b49d3a8d0a33d65fda141433e28b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 2 Apr 2015 15:00:11 +0100
Subject: Removed underConstrained field, which I believe was re-introduced by
 mistake in the last cleanup commit.

---
 include/klee/ExecutionState.h | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'include')

diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h
index eddf3d4a..2c0a7ad3 100644
--- a/include/klee/ExecutionState.h
+++ b/include/klee/ExecutionState.h
@@ -73,10 +73,6 @@ private:
   std::map<std::string, std::string> fnAliases;
 
 public:
-  // Are we currently underconstrained?  Hack: value is size to make fake
-  // objects.
-  unsigned underConstrained;
-
   /// Execution - Control Flow specific
 
   /// @brief pointer to instruction to be executed next after the current
@@ -154,7 +150,7 @@ public:
   void removeFnAlias(std::string fn);
 
 private:
-  ExecutionState() : underConstrained(0), fakeState(false), ptreeNode(0) {}
+  ExecutionState() : fakeState(false), ptreeNode(0) {}
 
 public:
   ExecutionState(KFunction *kf);
-- 
cgit 1.4.1