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 std::shared_ptr> NondeterministicModel::applyScheduler(storm::storage::Scheduler const& scheduler, bool dropUnreachableStates) { if (scheduler.isMemorylessScheduler()) { - auto memoryProduct = storm::storage::MemoryStructureBuilder::buildTrivialMemoryStructure(*this).product(*this); + auto memStruct = storm::storage::MemoryStructureBuilder::buildTrivialMemoryStructure(*this); + auto memoryProduct = memStruct.product(*this); if (!dropUnreachableStates) { memoryProduct.setBuildFullProduct(); }