diff --git a/src/storm-dft/storage/dft/DFT.h b/src/storm-dft/storage/dft/DFT.h index 1304bbfa9..4c904ec5c 100644 --- a/src/storm-dft/storage/dft/DFT.h +++ b/src/storm-dft/storage/dft/DFT.h @@ -270,6 +270,10 @@ namespace storm { } DFTLayoutInfo const& getElementLayoutInfo(size_t id) const { + if(mLayoutInfo.count(id) == 0) { + STORM_LOG_WARN("Layout info for element with id " << id << " not found"); + return DFTLayoutInfo(); + } return mLayoutInfo.at(id); }