From 300ccd731f3f2cbd0106ee612874411bcc640848 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 18 Apr 2018 16:32:45 +0200 Subject: [PATCH] Use to_string in DRN exporter --- src/storm/utility/DirectEncodingExporter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/utility/DirectEncodingExporter.cpp b/src/storm/utility/DirectEncodingExporter.cpp index 9953a4108..ec29cbe1e 100644 --- a/src/storm/utility/DirectEncodingExporter.cpp +++ b/src/storm/utility/DirectEncodingExporter.cpp @@ -73,7 +73,7 @@ namespace storm { } if(rewardModelEntry.second.hasStateRewards()) { - os << rewardModelEntry.second.getStateRewardVector().at(group); + os << storm::utility::to_string(rewardModelEntry.second.getStateRewardVector().at(group)); } else { os << "0"; }