From f78d30ab4fa073ae77666dc9a5b40d9a523880d8 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 15 Dec 2016 10:50:59 +0100
Subject: [PATCH] default layout info including warning

---
 src/storm-dft/storage/dft/DFT.h | 4 ++++
 1 file changed, 4 insertions(+)

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);
             }