From be9450d1cbf1a98d1f5d8beeb7ad96eb3e3d87cc Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Tue, 16 Mar 2021 13:20:31 +0100
Subject: [PATCH] removed debug output

---
 src/storm/shields/PreSafetyShield.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/storm/shields/PreSafetyShield.cpp b/src/storm/shields/PreSafetyShield.cpp
index 071f6c53a..5a7f4a9c3 100644
--- a/src/storm/shields/PreSafetyShield.cpp
+++ b/src/storm/shields/PreSafetyShield.cpp
@@ -12,7 +12,6 @@ namespace tempest {
 
         template<typename ValueType, typename IndexType>
         storm::storage::Scheduler<ValueType> PreSafetyShield<ValueType, IndexType>::construct() {
-            STORM_LOG_DEBUG("PreSafetyShield::construct called");
             if (this->getOptimizationDirection() == storm::OptimizationDirection::Minimize) {
                 if(this->shieldingExpression->isRelative()) {
                     return constructWithCompareType<tempest::shields::utility::ChoiceFilter<ValueType, storm::utility::ElementLessEqual<ValueType>, true>>();
@@ -31,7 +30,6 @@ namespace tempest {
         template<typename ValueType, typename IndexType>
         template<typename ChoiceFilter>
         storm::storage::Scheduler<ValueType> PreSafetyShield<ValueType, IndexType>::constructWithCompareType() {
-            STORM_LOG_DEBUG("PreSafetyShield::constructWithCompareType called");
             ChoiceFilter choiceFilter;
             storm::storage::Scheduler<ValueType> shield(this->rowGroupIndices.size() - 1);
             auto choice_it = this->choiceValues.begin();
@@ -60,7 +58,6 @@ namespace tempest {
                     shield.setChoice(storm::storage::Distribution<ValueType, IndexType>(), state);
                 }
             }
-            STORM_LOG_DEBUG("PreSafetyShield::constructWithCompareType done");
             return shield;
         }
         // Explicitly instantiate appropriate