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(); typename storm::pomdp::modelchecker::ApproximatePOMDPModelchecker::Options options; options.initialGridResolution = gridSettings.getGridResolution(); - options.explorationThreshold = gridSettings.getExplorationThreshold(); + options.explorationThreshold = storm::utility::convertNumber(gridSettings.getExplorationThreshold()); options.doRefinement = gridSettings.isRefineSet(); - options.refinementPrecision = gridSettings.getRefinementPrecision(); - options.numericPrecision = gridSettings.getNumericPrecision(); + options.refinementPrecision = storm::utility::convertNumber(gridSettings.getRefinementPrecision()); + options.numericPrecision = storm::utility::convertNumber(gridSettings.getNumericPrecision()); options.cacheSubsimplices = gridSettings.isCacheSimplicesSet(); if (storm::NumberTraits::IsExact) { if (gridSettings.isNumericPrecisionSetFromDefault()) {