From 774299bdc2a1a7ab57321ea6a141776e49b1aae1 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 26 Jul 2021 17:17:11 +0200
Subject: [PATCH] removed commented code from Property

---
 src/storm/storage/jani/Property.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/storage/jani/Property.cpp b/src/storm/storage/jani/Property.cpp
index ab4510b70..1f13eb1f1 100644
--- a/src/storm/storage/jani/Property.cpp
+++ b/src/storm/storage/jani/Property.cpp
@@ -91,7 +91,6 @@ namespace storm {
         }
 
         std::shared_ptr<storm::logic::ShieldExpression const> Property::getShieldingExpression() const {
-            //STORM_LOG_ASSERT(isShieldingProperty(), "This property does not have an associated shielding expression.");
             if(!isShieldingProperty()) return nullptr;
             return shieldingExpression.get();
         }