From a3452112d7873f086ccc846da0021c0adbb17d29 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Mar 2021 22:09:23 +0000
Subject: [PATCH] Bug fix in StateRewardsSimple.

Wrong exception for out-of-bounds, so did not act "sparse" as intended.
---
 prism/src/explicit/rewards/StateRewardsSimple.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 		}
 	}