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 Property::getShieldingExpression() const { - //STORM_LOG_ASSERT(isShieldingProperty(), "This property does not have an associated shielding expression."); if(!isShieldingProperty()) return nullptr; return shieldingExpression.get(); }