From 08f51b505b5c7890cd99f263d1682109595c2658 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 18 Nov 2016 12:00:12 +0100
Subject: [PATCH] Fixed minor compile issues

---
 src/storm/storage/gspn/GSPN.cpp | 4 ++--
 src/storm/storm-dyftee.cpp      | 5 +++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/storm/storage/gspn/GSPN.cpp b/src/storm/storage/gspn/GSPN.cpp
index db075dee0..87d123619 100644
--- a/src/storm/storage/gspn/GSPN.cpp
+++ b/src/storm/storage/gspn/GSPN.cpp
@@ -147,8 +147,8 @@ namespace storm {
             }
             
             for (auto& trans : this->getTimedTransitions()) {
-                outStream << "\t" << trans->getName() << " [label=\"" << trans->getName();
-                outStream << "(" << trans->getRate() << ")\"];" << std::endl;
+                outStream << "\t" << trans.getName() << " [label=\"" << trans.getName();
+                outStream << "(" << trans.getRate() << ")\"];" << std::endl;
             }
             
             // print arcs
diff --git a/src/storm/storm-dyftee.cpp b/src/storm/storm-dyftee.cpp
index eaab221d2..e7e3002aa 100644
--- a/src/storm/storm-dyftee.cpp
+++ b/src/storm/storm-dyftee.cpp
@@ -83,8 +83,9 @@ void transformDFT(std::string filename) {
     std::cout << "Transforming DFT from file " << filename << std::endl;
     storm::parser::DFTGalileoParser<ValueType> parser;
     storm::storage::DFT<ValueType> dft = parser.parseDFT(filename);
-    storm::transformations::dft::DftToGspnTransformator<ValueType> gspnTransformator(dft);
-    gspnTransformator.transform();
+    // TODO: activate again
+    //storm::transformations::dft::DftToGspnTransformator<ValueType> gspnTransformator(dft);
+    //gspnTransformator.transform();
 }
 
 /*!