From e8e189723fe6c6e1e7db182ad83f21065981fdc2 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 18 Jul 2017 13:06:05 +0200
Subject: [PATCH] fixed applying memoryless schedulers

---
 src/storm/models/sparse/NondeterministicModel.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/models/sparse/NondeterministicModel.cpp b/src/storm/models/sparse/NondeterministicModel.cpp
index 32839a630..3382bfd95 100644
--- a/src/storm/models/sparse/NondeterministicModel.cpp
+++ b/src/storm/models/sparse/NondeterministicModel.cpp
@@ -52,7 +52,8 @@ namespace storm {
             template<typename ValueType, typename RewardModelType>
             std::shared_ptr<storm::models::sparse::Model<ValueType, RewardModelType>> NondeterministicModel<ValueType, RewardModelType>::applyScheduler(storm::storage::Scheduler<ValueType> const& scheduler, bool dropUnreachableStates) {
                 if (scheduler.isMemorylessScheduler()) {
-                    auto memoryProduct = storm::storage::MemoryStructureBuilder<ValueType, RewardModelType>::buildTrivialMemoryStructure(*this).product(*this);
+                    auto memStruct = storm::storage::MemoryStructureBuilder<ValueType, RewardModelType>::buildTrivialMemoryStructure(*this);
+                    auto memoryProduct = memStruct.product(*this);
                     if (!dropUnreachableStates) {
                         memoryProduct.setBuildFullProduct();
                     }