From 0fad8eb1444122a4dac887881aa0fa870c680058 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Wed, 1 Jun 2016 15:07:41 +0200
Subject: [PATCH] another fix for downward closure

Former-commit-id: ffb3d4dd2152d387728c4aefa7c4a7db7bdcf5a3
---
 src/storage/geometry/HyproPolytope.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/geometry/HyproPolytope.cpp b/src/storage/geometry/HyproPolytope.cpp
index b5959c8e3..d085e7d09 100644
--- a/src/storage/geometry/HyproPolytope.cpp
+++ b/src/storage/geometry/HyproPolytope.cpp
@@ -157,7 +157,7 @@ namespace storm {
                 }
                 // Add Halfspaces to bound the polytope in each (positive) direction
                 for(uint_fast64_t dim = 0; dim < internPolytope.dimension(); ++dim){
-                    hypro::vector_t<ValueType> direction = hypro::vector_t<ValueType>::Zero(dim);
+                    hypro::vector_t<ValueType> direction = hypro::vector_t<ValueType>::Zero(internPolytope.dimension());
                     direction(dim) = storm::utility::one<ValueType>();
                     if(upperBounds){
                         ValueType upperBound = (*upperBounds)[dim];