From c039b817efaca15d5e248f871d68b5d8a71ed29f Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 6 May 2020 17:46:03 +0200
Subject: [PATCH] Removed unused variable + dependent code

---
 .../prctl/helper/rewardbounded/ProductModel.cpp        | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/src/storm/modelchecker/prctl/helper/rewardbounded/ProductModel.cpp b/src/storm/modelchecker/prctl/helper/rewardbounded/ProductModel.cpp
index ba86a26f9..871fde4de 100644
--- a/src/storm/modelchecker/prctl/helper/rewardbounded/ProductModel.cpp
+++ b/src/storm/modelchecker/prctl/helper/rewardbounded/ProductModel.cpp
@@ -109,14 +109,6 @@ namespace storm {
                             dimensionIndexMap.push_back(globalDimensionIndex);
                         }
                         
-                        bool objectiveContainsLowerBound = false;
-                        for (auto const& globalDimensionIndex : objectiveDimensions[objIndex]) {
-                            if (dimensions[globalDimensionIndex].boundType == DimensionBoundType::LowerBound) {
-                                objectiveContainsLowerBound = true;
-                                break;
-                            }
-                        }
-                        
                         // collect the memory states for this objective
                         std::vector<storm::storage::BitVector> objMemStates;
                         storm::storage::BitVector m(dimensionIndexMap.size(), false);
@@ -657,4 +649,4 @@ namespace storm {
             }
         }
     }
-}
\ No newline at end of file
+}