From a5c7057fc382aa450f381e88605c08b6e88124f2 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Thu, 15 Dec 2016 02:12:46 +0100
Subject: [PATCH] quickfix for setting layout info only when available (review
 tomorrow)

---
 src/storm-dft/storage/dft/DFTBuilder.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storm-dft/storage/dft/DFTBuilder.cpp b/src/storm-dft/storage/dft/DFTBuilder.cpp
index ed35b176d..35ed767b8 100644
--- a/src/storm-dft/storage/dft/DFTBuilder.cpp
+++ b/src/storm-dft/storage/dft/DFTBuilder.cpp
@@ -91,7 +91,9 @@ namespace storm {
 
             // Set layout info
             for (auto& elem : mElements) {
-                dft.setElementLayoutInfo(elem.second->id(), mLayoutInfo.at(elem.first));
+                if(mLayoutInfo.count(elem.first) > 0) {
+                    dft.setElementLayoutInfo(elem.second->id(), mLayoutInfo.at(elem.first));
+                }
             }
 
             return dft;