From bf6e1ef94086581e880ebe18bb10b85120e18007 Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 3 Nov 2016 20:16:57 +0100 Subject: [PATCH] minor fix Former-commit-id: eac7ee1839f0bd6b2bdc8dd6f1865171fc32c69e [formerly 94f3402cf06e1cbfb4e13ed909a361cf1276bbd1] Former-commit-id: 2b919a6a2994ef2ad7023a588c3cd4ba2bd26a5f --- src/builder/jit/ExplicitJitJaniModelBuilder.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/builder/jit/ExplicitJitJaniModelBuilder.cpp b/src/builder/jit/ExplicitJitJaniModelBuilder.cpp index 8a1e6806f..7257f100d 100644 --- a/src/builder/jit/ExplicitJitJaniModelBuilder.cpp +++ b/src/builder/jit/ExplicitJitJaniModelBuilder.cpp @@ -1236,7 +1236,7 @@ namespace storm { } } vectorSource << ";" << std::endl; - indent(vectorSource, indentLevel + 1) << "choice.add(outStateIndex, probability);"; + indent(vectorSource, indentLevel + 1) << "choice.add(outStateIndex, probability);" << std::endl; std::stringstream tmp; indent(tmp, indentLevel + 1) << "{% for reward in destination_rewards %}choice.addReward({$reward.index}, probability * transientOut.{$reward.variable});" << std::endl; @@ -1296,7 +1296,7 @@ namespace storm { indent(vectorSource, indentLevel + 1) << "TransientVariables transientOut;" << std::endl; } indent(vectorSource, indentLevel + 1) << "for (auto const& edge" << index << " : edges[" << index << "]) {" << std::endl; - indent(vectorSource, indentLevel + 2) << "edge" << index << ".perform(in, transientIn, transientOut);" << std::endl; + indent(vectorSource, indentLevel + 2) << "edge" << index << ".get().perform(in, transientIn, transientOut);" << std::endl; if (index + 1 < numberOfActionInputs) { indent(vectorSource, indentLevel + 2) << "performSynchronizedEdges_" << synchronizationVectorIndex << "_" << (index + 1) << "(in, edges, behaviour, statesToExplore, "; for (uint64_t innerIndex = 0; innerIndex <= index; ++innerIndex) {