From 6e2dab0e0bdac4d7052bb9a29e838da8de0e540e Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 2 Sep 2020 11:04:40 +0200
Subject: [PATCH] Silenced a warning in OVI code.

---
 src/storm/solver/helper/OptimisticValueIterationHelper.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/solver/helper/OptimisticValueIterationHelper.h b/src/storm/solver/helper/OptimisticValueIterationHelper.h
index 5542eb473..75adafb09 100644
--- a/src/storm/solver/helper/OptimisticValueIterationHelper.h
+++ b/src/storm/solver/helper/OptimisticValueIterationHelper.h
@@ -167,7 +167,7 @@ namespace storm {
                             bool newUpperBoundAlwaysLowerEqual = true;
                             if (noTerminationGuarantee) {
                                 bool cancelOuterScan = false;
-                                for (uint64_t i = 0; i < upperX->size() & !cancelOuterScan; ++i) {
+                                for (uint64_t i = 0; i < upperX->size() && !cancelOuterScan; ++i) {
                                     if ((*upperX)[i] < (*auxVector)[i]) {
                                         newUpperBoundAlwaysHigherEqual = false;
                                         for (++i; i < upperX->size(); ++i) {