make code compile

5 years ago · d703516d2d
1 changed files with 1 additions and 1 deletions
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
@ -133,7 +133,7 @@ namespace storm {
                    }

                    for (uint64_t i = 0; i < obsAccumulator.size(); ++i) {
-                        obsAccumulator[i] /= beliefCount[i];
+                        obsAccumulator[i] /= storm::utility::convertNumber<ValueType>(beliefCount[i]);
                    }

                    //TODO think about some other scoring methods