From fb0222cf62ce23cbc0e0b5c3fba62a3ee6d7f40b Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 12 Jan 2017 13:43:52 +0100
Subject: [PATCH] fixed new interface of stopwatch

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

diff --git a/src/storm/modelchecker/multiobjective/pcaa.cpp b/src/storm/modelchecker/multiobjective/pcaa.cpp
index 0bb19e6c8..56475e27d 100644
--- a/src/storm/modelchecker/multiobjective/pcaa.cpp
+++ b/src/storm/modelchecker/multiobjective/pcaa.cpp
@@ -25,7 +25,7 @@ namespace storm {
             template<typename SparseModelType>
             std::unique_ptr<CheckResult> performPcaa(SparseModelType const& model, storm::logic::MultiObjectiveFormula const& formula) {
                 STORM_LOG_ASSERT(model.getInitialStates().getNumberOfSetBits() == 1, "Multi-objective Model checking on model with multiple initial states is not supported.");
-                storm::utility::Stopwatch swPcaa,swPrep;
+                storm::utility::Stopwatch swPcaa(true), swPrep(true);
 #ifdef STORM_HAVE_CARL
 
                 // If we consider an MA, ensure that it is closed
@@ -51,11 +51,11 @@ namespace storm {
                         STORM_LOG_THROW(false, storm::exceptions::InvalidArgumentException, "Unsupported multi-objective Query Type.");
                         break;
                 }
-                swPrep.pause();
-                storm::utility::Stopwatch swCheck;
+                swPrep.stop();
+                storm::utility::Stopwatch swCheck(true);
                 auto result = query->check();
-                swCheck.pause();
-                swPcaa.pause();
+                swCheck.stop();
+                swPcaa.stop();
 
                 std::cout << "STATISTICS_HEADERS;"
                           << "States;"