From fceaeed5576bcfb56198f90f2f45f975303c004a Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 7 Dec 2018 17:44:29 +0100
Subject: [PATCH] Fixed a recently introduced issue with interval bounded
 ctmcs.

---
 src/storm/modelchecker/csl/helper/SparseCtmcCslHelper.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/storm/modelchecker/csl/helper/SparseCtmcCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseCtmcCslHelper.cpp
index 2f247b8bd..476c3cf2c 100644
--- a/src/storm/modelchecker/csl/helper/SparseCtmcCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseCtmcCslHelper.cpp
@@ -146,8 +146,7 @@ namespace storm {
                                     // Start by computing the transient probabilities of reaching a psi state in time t' - t.
                                     std::vector<ValueType> values(statesWithProbabilityGreater0NonPsi.getNumberOfSetBits(), storm::utility::zero<ValueType>());
                                     std::vector<ValueType> subresult = computeTransientProbabilities(env, uniformizedMatrix, &b, upperBound - lowerBound, uniformizationRate, values);
-                                    newSubresult = std::vector<ValueType>(relevantStates.getNumberOfSetBits());
-                                   storm::utility::vector::setVectorValues(newSubresult, statesWithProbabilityGreater0NonPsi % relevantStates, subresult);
+                                    storm::utility::vector::setVectorValues(newSubresult, statesWithProbabilityGreater0NonPsi % relevantStates, subresult);
                                 }
                                 
                                 // Then compute the transient probabilities of being in such a state after t time units. For this,