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> shieldingExpression;