diff --git a/src/storm/builder/DdJaniModelBuilder.cpp b/src/storm/builder/DdJaniModelBuilder.cpp index 64a74a258..5940e4ac3 100644 --- a/src/storm/builder/DdJaniModelBuilder.cpp +++ b/src/storm/builder/DdJaniModelBuilder.cpp @@ -288,7 +288,7 @@ namespace storm { boost::any visit(storm::jani::AutomatonComposition const& composition, boost::any const&) override { auto it = automata.find(composition.getAutomatonName()); - STORM_LOG_THROW(it == automata.end(), storm::exceptions::InvalidArgumentException, "Cannot build symbolic model from JANI model whose system composition that refers to the automaton '" << composition.getAutomatonName() << "' multiple times."); + STORM_LOG_THROW(it == automata.end(), storm::exceptions::InvalidArgumentException, "Cannot build symbolic model from JANI model whose system composition refers to the automaton '" << composition.getAutomatonName() << "' multiple times."); automata.insert(it, composition.getAutomatonName()); return boost::none; } @@ -1393,7 +1393,7 @@ namespace storm { return EdgeDd(isMarkovian, guard, transitions, transientEdgeAssignments, globalVariablesInSomeDestination); } else { - return EdgeDd(false, rangedGuard, rangedGuard.template toAdd(), std::map>(), std::set()); + return EdgeDd(edge.hasRate(), rangedGuard, rangedGuard.template toAdd(), std::map>(), std::set()); } }