From 860a4a749e68748a8fe43c1c04e85fe2275e6b92 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jirislaby@gmail.com>
Date: Mon, 15 Jan 2018 09:20:32 +0100
Subject: MergeHandler: remove unused closedStateCount

clang 5 reports:
In file included from ../lib/Core/MergeHandler.cpp:10:
../include/klee/MergeHandler.h:81:12: warning: private field 'closedStateCount' is not used [-Wunused-private-field]
  unsigned closedStateCount;
           ^

So fix it by removing the member.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
---
 include/klee/MergeHandler.h | 4 ----
 1 file changed, 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 *> >
-- 
cgit 1.4.1