From ebd85a43d3c4d184b9477a65cb1d70f93df377e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <dbasgoeze.github@basgoeze.com>
Date: Tue, 24 Aug 2021 18:04:11 +0200
Subject: [PATCH] Fix conversion ambiguity: Use * instead of *=

---
 src/storm-pomdp/analysis/WinningRegion.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-pomdp/analysis/WinningRegion.cpp b/src/storm-pomdp/analysis/WinningRegion.cpp
index 7b872a20a..39d89c095 100644
--- a/src/storm-pomdp/analysis/WinningRegion.cpp
+++ b/src/storm-pomdp/analysis/WinningRegion.cpp
@@ -210,7 +210,7 @@ namespace pomdp {
             storm::RationalNumber n = 1;
             while (n < max) {
                 oom += 1;
-                n *= 2;
+                n = n * 2;
             }
             STORM_LOG_DEBUG("Order of magnitude = " << oom);
 
@@ -390,4 +390,4 @@ namespace pomdp {
     }
 
 }
-}
\ No newline at end of file
+}