From 0633bda59056fa82d506d1b08e3e93be7ab3cfb3 Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jirislaby@gmail.com>
Date: Mon, 4 Nov 2019 07:55:51 +0100
Subject: Core: Executor, remove unused variable

numSeeds is unused since commit 4eb050e2999b (ExecutorTimers: refactor
and move to support lib), so remove it.
---
 lib/Core/Executor.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/Core')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 4ac848b0..7ea3aa3b 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -2910,7 +2910,6 @@ void Executor::run(ExecutionState &initialState) {
       if (it == seedMap.end())
         it = seedMap.begin();
       lastState = it->first;
-      unsigned numSeeds = it->second.size();
       ExecutionState &state = *lastState;
       KInstruction *ki = state.pc;
       stepInstruction(state);
-- 
cgit 1.4.1