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