Removed underConstrained field, which I believe was re-introduced by

mistake in the last cleanup commit.

2 files changed, 2 insertions, 8 deletions

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);
diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp
index 1dc08624..bfe56f7a 100644
--- a/lib/Core/ExecutionState.cpp
+++ b/lib/Core/ExecutionState.cpp
@@ -67,7 +67,6 @@ StackFrame::~StackFrame() {
 /***/
 
 ExecutionState::ExecutionState(KFunction *kf) :
-    underConstrained(0),
     pc(kf->instructions),
     prevPC(pc),
 
@@ -84,7 +83,7 @@ ExecutionState::ExecutionState(KFunction *kf) :
 }
 
 ExecutionState::ExecutionState(const std::vector<ref<Expr> > &assumptions)
-    : underConstrained(0), constraints(assumptions), queryCost(0.),
+    : constraints(assumptions), queryCost(0.),
       fakeState(true), ptreeNode(0) {}
 
 ExecutionState::~ExecutionState() {
@@ -102,7 +101,6 @@ ExecutionState::~ExecutionState() {
 
 ExecutionState::ExecutionState(const ExecutionState& state):
     fnAliases(state.fnAliases),
-    underConstrained(state.underConstrained),
     pc(state.pc),
     prevPC(state.prevPC),
     stack(state.stack),