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
+}