From 7643ebc70db9c468503f364a26051af929b39396 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 11 Dec 2015 19:10:55 +0100
Subject: [PATCH] Compile fixes

Former-commit-id: d304a6a8e06346f729acc7f690ee8ae6154c4a4b
---
 src/storage/dft/DFTElements.h | 2 ++
 src/storm-dyftee.cpp          | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storage/dft/DFTElements.h b/src/storage/dft/DFTElements.h
index 12da6a4bf..d6245a606 100644
--- a/src/storage/dft/DFTElements.h
+++ b/src/storage/dft/DFTElements.h
@@ -103,6 +103,8 @@ namespace storm {
             virtual std::vector<size_t> independentUnit() const = 0;
         
             virtual void  extendUnit(std::set<size_t>& unit) const;
+
+            void checkForSymmetricChildren() const;
         };
 
 
diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp
index 39b614f8c..07e2624ee 100644
--- a/src/storm-dyftee.cpp
+++ b/src/storm-dyftee.cpp
@@ -10,7 +10,7 @@ int main(int argc, char** argv) {
     if(argc != 2) {
         std::cout <<  "Storm-DyFTeE should be called with a filename as argument." << std::endl;
     }
-    storm::utility::initialize::setUp();
+    storm::utility::setUp();
     
     storm::parser::DFTGalileoParser parser;
     storm::storage::DFT dft = parser.parseDFT(argv[1]);