From 35eb421e71de22ea53dcb275cdb9e57d505986c1 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 11 Nov 2016 22:50:31 +0100
Subject: [PATCH] fixed warning

Former-commit-id: 56e97742667a9db8720e33fc4c93f2f8173bcea6 [formerly 3ef61956be94804eba28db9631981947d848019a]
Former-commit-id: 08cf16352bbe4f8def00257040d835bac9b1105b
---
 src/counterexamples/SMTMinimalCommandSetGenerator.h | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/counterexamples/SMTMinimalCommandSetGenerator.h b/src/counterexamples/SMTMinimalCommandSetGenerator.h
index 64665a8fc..d0a72443d 100644
--- a/src/counterexamples/SMTMinimalCommandSetGenerator.h
+++ b/src/counterexamples/SMTMinimalCommandSetGenerator.h
@@ -1488,7 +1488,6 @@ namespace storm {
                 storm::storage::BitVector reachableStates(subMdp.getNumberOfStates());
                 
                 // Initialize the stack for the DFS.
-                bool targetStateIsReachable = false;
                 std::vector<uint_fast64_t> stack;
                 stack.reserve(subMdp.getNumberOfStates());
                 for (auto initialState : subMdp.getInitialStates()) {
@@ -1516,9 +1515,9 @@ namespace storm {
                                     reachableStates.set(successorEntry.getColumn(), true);
                                     stack.push_back(successorEntry.getColumn());
                                 }
-                            } else if (psiStates.get(successorEntry.getColumn())) {
-                                targetStateIsReachable = true;
-                            }
+                            } //else if (psiStates.get(successorEntry.getColumn())) {
+                                //targetStateIsReachable = true;
+                            //}
                         }
                         
                         if (choiceTargetsRelevantState) {