From 63a0dc60e5f9db09a2ffdf1851a061eb5ef75326 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 16 Jan 2017 18:09:58 +0100
Subject: [PATCH] Fixed compile issue

---
 src/storm-dft/modelchecker/dft/DFTModelChecker.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp b/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp
index caa78060c..8ca775432 100644
--- a/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTModelChecker.cpp
@@ -412,11 +412,11 @@ namespace storm {
         template<typename ValueType>
         void DFTModelChecker<ValueType>::printTimings(std::ostream& os) {
             os << "Times:" << std::endl;
-            os << "Exploration:\t" << explorationTimer.getTimeSeconds() << "s" << std::endl;
-            os << "Building:\t" << buildingTimer.getTimeSeconds() << "s" << std::endl;
-            os << "Bisimulation:\t" << bisimulationTimer.getTimeSeconds() << "s" << std::endl;
-            os << "Modelchecking:\t" << modelCheckingTimer.getTimeSeconds() << "s" << std::endl;
-            os << "Total:\t\t" << totalTimer.getTimeSeconds() << "s" << std::endl;
+            os << "Exploration:\t" << explorationTimer.getTimeInSeconds() << "s" << std::endl;
+            os << "Building:\t" << buildingTimer.getTimeInSeconds() << "s" << std::endl;
+            os << "Bisimulation:\t" << bisimulationTimer.getTimeInSeconds() << "s" << std::endl;
+            os << "Modelchecking:\t" << modelCheckingTimer.getTimeInSeconds() << "s" << std::endl;
+            os << "Total:\t\t" << totalTimer.getTimeInSeconds() << "s" << std::endl;
         }
 
         template<typename ValueType>