From 28a49659dbbf5cb81cdc3c9d8acd0b3e6ba25261 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Wed, 2 Mar 2016 17:36:56 +0100
Subject: [PATCH] Small fixes

Former-commit-id: ee8ef605c370ba7219335e0cc48c5c82861bf471
---
 src/storage/dft/DFT.cpp        | 2 +-
 src/storage/dft/DFTBuilder.cpp | 3 +++
 src/storage/dft/DFTBuilder.h   | 2 +-
 3 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/storage/dft/DFT.cpp b/src/storage/dft/DFT.cpp
index 2a0bfa244..242995834 100644
--- a/src/storage/dft/DFT.cpp
+++ b/src/storage/dft/DFT.cpp
@@ -551,7 +551,7 @@ namespace storm {
                                rewrite.push_back(isdElemId);
                            }
                        }
-                       if(rewrite.size() > 2 && rewrite.size() < e->children().size() - 1) {
+                       if(rewrite.size() > 2 && rewrite.size() < children.size() - 1) {
                            return rewrite;
                        }
                        
diff --git a/src/storage/dft/DFTBuilder.cpp b/src/storage/dft/DFTBuilder.cpp
index f3d83e4c0..ea273e234 100644
--- a/src/storage/dft/DFTBuilder.cpp
+++ b/src/storage/dft/DFTBuilder.cpp
@@ -12,6 +12,9 @@
 
 namespace storm {
     namespace storage {
+        
+        template<typename ValueType>
+        std::size_t DFTBuilder<ValueType>::mUniqueOffset = 0;
 
         template<typename ValueType>
         DFT<ValueType> DFTBuilder<ValueType>::build() {
diff --git a/src/storage/dft/DFTBuilder.h b/src/storage/dft/DFTBuilder.h
index 6c6fcc143..d630c24fb 100644
--- a/src/storage/dft/DFTBuilder.h
+++ b/src/storage/dft/DFTBuilder.h
@@ -26,7 +26,7 @@ namespace storm {
 
         private:
             std::size_t mNextId = 0;
-            std::size_t mUniqueOffset = 0;
+            static std::size_t mUniqueOffset;
             std::string mTopLevelIdentifier;
             std::unordered_map<std::string, DFTElementPointer> mElements;
             std::unordered_map<DFTElementPointer, std::vector<std::string>> mChildNames;