From a3da5642f16a7f87beb7b98cbeb7c3cc82b80de3 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Tue, 23 Feb 2021 09:44:16 +0100
Subject: [PATCH] removed unused member of checkTask

---
 src/storm/modelchecker/CheckTask.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/storm/modelchecker/CheckTask.h b/src/storm/modelchecker/CheckTask.h
index b39023d34..9291cd544 100644
--- a/src/storm/modelchecker/CheckTask.h
+++ b/src/storm/modelchecker/CheckTask.h
@@ -337,9 +337,6 @@ namespace storm {
             // If set to true, the model checker may decide to only compute the values for the initial states.
             bool onlyInitialStatesRelevant;
 
-            // If set to true, we will create the appropriate shield.
-            bool shieldingTask = false;
-
             // The according ShieldExpression.
             boost::optional<std::shared_ptr<storm::logic::ShieldExpression const>> shieldingExpression;