diff --git a/prism/src/explicit/rewards/StateRewardsSimple.java b/prism/src/explicit/rewards/StateRewardsSimple.java index 5d3d7739..d4c4d4cb 100644 --- a/prism/src/explicit/rewards/StateRewardsSimple.java +++ b/prism/src/explicit/rewards/StateRewardsSimple.java @@ -91,7 +91,7 @@ public class StateRewardsSimple extends StateRewards { try { return stateRewards.get(s); - } catch (ArrayIndexOutOfBoundsException e) { + } catch (IndexOutOfBoundsException e) { return 0.0; } }