From dd864c05e07d51a1fb222a48d1df00a11515c41c Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 14 Dec 2017 11:43:04 +0100
Subject: [PATCH] properly resizing weights vector in Fox-Glynn if the right
 bound is moved further due to the desired accuracy

---
 src/storm/utility/numerical.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/utility/numerical.cpp b/src/storm/utility/numerical.cpp
index cec474ff7..2f2b64355 100644
--- a/src/storm/utility/numerical.cpp
+++ b/src/storm/utility/numerical.cpp
@@ -229,6 +229,7 @@ namespace storm {
                         } else {
                             t = j;
                             result.right = j + result.left;
+                            result.weights.resize(result.right - result.left + 1);
                             
                             // It's time to compute W.
                             break;