From 4746a81b51409cc3415fc4894720a5e61485e7bf Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 26 Jul 2021 18:26:08 +0200
Subject: [PATCH] removed output and check in checkGameFormula

---
 src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp b/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp
index 3f74d8bfc..08f8c614d 100644
--- a/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp
+++ b/src/storm/modelchecker/rpatl/SparseSmgRpatlModelChecker.cpp
@@ -66,11 +66,6 @@ namespace storm {
             storm::logic::GameFormula const& gameFormula = checkTask.getFormula();
             storm::logic::Formula const& subFormula = gameFormula.getSubformula();
 
-            if(checkTask.isShieldingTask()) {
-                std::cout << "Creating Shield for " << checkTask.getShieldingExpression() << std::endl;
-            }
-
-            STORM_LOG_THROW(checkTask.isPlayerCoalitionSet(), storm::exceptions::InvalidPropertyException, "No player coalition was set.");
             statesOfCoalition = this->getModel().computeStatesOfCoalition(gameFormula.getCoalition());
             std::cout << "Found " << statesOfCoalition.getNumberOfSetBits() << " states in coalition." << std::endl;
             statesOfCoalition.complement();