From 547dd6fbf929d769b7a9a38c152bfb315d7a25a0 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 19 Sep 2014 13:36:02 +0100
Subject: Removed code related to underConstrained, as it is unused (issue
 pointed out by @hpalikareva).

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

(limited to 'include')

diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h
index 824fbed5..97b700c1 100644
--- a/include/klee/ExecutionState.h
+++ b/include/klee/ExecutionState.h
@@ -72,9 +72,6 @@ private:
 
 public:
   bool fakeState;
-  // Are we currently underconstrained?  Hack: value is size to make fake
-  // objects.
-  unsigned underConstrained;
   unsigned depth;
   
   // pc - pointer to current instruction stream
@@ -113,7 +110,7 @@ public:
   void removeFnAlias(std::string fn);
   
 private:
-  ExecutionState() : fakeState(false), underConstrained(0), ptreeNode(0) {}
+  ExecutionState() : fakeState(false), ptreeNode(0) {}
 
 public:
   ExecutionState(KFunction *kf);
-- 
cgit 1.4.1