From d703516d2d0710295f9b0402118b80150a4c1f7c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 4 Mar 2020 15:00:58 -0800
Subject: [PATCH] make code compile

---
 src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
index e88daf09b..91947e075 100644
--- 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