From 29e22f6de3fdc14a4104bec7ce9e31e9f02f122d Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 16 Oct 2018 11:36:14 +0200
Subject: [PATCH] Jani JSONExporter: Fixed export of reward accumulation.

---
 src/storm/storage/jani/JSONExporter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index 37aacc269..0eaa883a7 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -167,7 +167,7 @@ namespace storm {
             storm::jani::RewardModelInformation info(model, rewardModelName);
             
             bool steps = rewardAccumulation.isStepsSet() && (info.hasActionRewards() || info.hasTransitionRewards());
-            bool time = rewardAccumulation.isTimeSet() && !model.isDeterministicModel() && info.hasStateRewards();
+            bool time = rewardAccumulation.isTimeSet() && !model.isDiscreteTimeModel() && info.hasStateRewards();
             bool exit = rewardAccumulation.isExitSet() && info.hasStateRewards();
             
             return constructRewardAccumulation(storm::logic::RewardAccumulation(steps, time, exit));