diff --git a/prism/src/explicit/rewards/ConstructRewards.java b/prism/src/explicit/rewards/ConstructRewards.java index baccfa63..4747e340 100644 --- a/prism/src/explicit/rewards/ConstructRewards.java +++ b/prism/src/explicit/rewards/ConstructRewards.java @@ -147,7 +147,7 @@ public class ConstructRewards numChoices = mdp.getNumChoices(j); for (k = 0; k < numChoices; k++) { mdpAction = mdp.getAction(j, k); - if (mdpAction == null ? (action == null) : mdpAction.equals(action)) { + if (mdpAction == null ? (action.isEmpty()) : mdpAction.equals(action)) { rewSimple.setTransitionReward(j, k, rewStr.getReward(i).evaluateDouble(constantValues, statesList.get(j))); } }