1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp
index 1e45812c..3f92cccd 100644
--- a/lib/Core/ExecutionState.cpp
+++ b/lib/Core/ExecutionState.cpp
@@ -112,7 +112,6 @@ ExecutionState::ExecutionState(const ExecutionState& state):
     patchLocs(state.patchLocs),
     patchNo(state.patchNo),
     metaEnvVar(state.metaEnvVar),
-    formula(state.formula),
     steppedInstructions(state.steppedInstructions),
     instsSinceCovNew(state.instsSinceCovNew),
     unwindingInformation(state.unwindingInformation
@@ -415,7 +414,7 @@ std::string extractMetaEnvVar(ref<Expr> e) {
   }
 
   const auto& name = read->updates.root->name;
-  // Skip __choose\d.*
+  // Skip when it is not __choose\d.*
   if (name.substr(0, 8) != "__choose" || '0' > name[8] || name[8] > '9')
     return "";
   std::string value;