diff --git a/src/storm/storage/geometry/NativePolytope.cpp b/src/storm/storage/geometry/NativePolytope.cpp index f90fadb73..0000349f3 100644 --- a/src/storm/storage/geometry/NativePolytope.cpp +++ b/src/storm/storage/geometry/NativePolytope.cpp @@ -228,7 +228,7 @@ namespace storm { return std::make_shared>(std::vector>()); } - STORM_LOG_WARN("Implementation of convex union of two polytopes only works if the polytopes are bounded. This is not checked."); + STORM_LOG_WARN_COND_DEBUG(false, "Implementation of convex union of two polytopes only works if the polytopes are bounded. This is not checked."); std::vector rhsVertices = dynamic_cast const&>(*rhs).getEigenVertices(); std::vector resultVertices = this->getEigenVertices();