about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--include/klee/MergeHandler.h4
1 files changed, 0 insertions, 4 deletions
diff --git a/include/klee/MergeHandler.h b/include/klee/MergeHandler.h
index d374e168..0c596825 100644
--- a/include/klee/MergeHandler.h
+++ b/include/klee/MergeHandler.h
@@ -76,10 +76,6 @@ class MergeHandler {
 private:
   Executor *executor;
 
-  /// @brief Number of states that are tracked by this MergeHandler, that ran
-  /// into a relevant klee_close_merge
-  unsigned closedStateCount;
-
   /// @brief Mapping the different 'klee_close_merge' calls to the states that ran into
   /// them
   std::map<llvm::Instruction *, std::vector<ExecutionState *> >