Compile fixes

Former-commit-id: d304a6a8e0

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

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