From de483cd3c16182cbfda5554189dae9d429ea0ccf Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 18 Mar 2020 13:59:29 +0100
Subject: [PATCH] Added missing number conversion.

---
 src/storm-pomdp-cli/storm-pomdp.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp
index e0000c0d6..ac48327b5 100644
--- a/src/storm-pomdp-cli/storm-pomdp.cpp
+++ b/src/storm-pomdp-cli/storm-pomdp.cpp
@@ -88,10 +88,10 @@ namespace storm {
                     auto const& gridSettings = storm::settings::getModule<storm::settings::modules::GridApproximationSettings>();
                     typename storm::pomdp::modelchecker::ApproximatePOMDPModelchecker<ValueType>::Options options;
                     options.initialGridResolution = gridSettings.getGridResolution();
-                    options.explorationThreshold = gridSettings.getExplorationThreshold();
+                    options.explorationThreshold = storm::utility::convertNumber<ValueType>(gridSettings.getExplorationThreshold());
                     options.doRefinement = gridSettings.isRefineSet();
-                    options.refinementPrecision = gridSettings.getRefinementPrecision();
-                    options.numericPrecision = gridSettings.getNumericPrecision();
+                    options.refinementPrecision = storm::utility::convertNumber<ValueType>(gridSettings.getRefinementPrecision());
+                    options.numericPrecision = storm::utility::convertNumber<ValueType>(gridSettings.getNumericPrecision());
                     options.cacheSubsimplices = gridSettings.isCacheSimplicesSet();
                     if (storm::NumberTraits<ValueType>::IsExact) {
                         if (gridSettings.isNumericPrecisionSetFromDefault()) {