diff --git a/src/storm/storage/prism/ToJaniConverter.cpp b/src/storm/storage/prism/ToJaniConverter.cpp index 8c9f624ed..f6097aaec 100644 --- a/src/storm/storage/prism/ToJaniConverter.cpp +++ b/src/storm/storage/prism/ToJaniConverter.cpp @@ -166,6 +166,7 @@ namespace storm { for (auto const& command : module.getCommands()) { command.getGuardExpression().getBaseExpression().gatherVariables(variables); for (auto const& update : command.getUpdates()) { + update.getLikelihoodExpression().gatherVariables(variables); for (auto const& assignment : update.getAssignments()) { assignment.getExpression().getBaseExpression().gatherVariables(variables); variables.insert(assignment.getVariable());