diff --git a/prism/src/automata/HOAF2DA.java b/prism/src/automata/HOAF2DA.java
index 43024a1d..576d6ba5 100644
--- a/prism/src/automata/HOAF2DA.java
+++ b/prism/src/automata/HOAF2DA.java
@@ -420,6 +420,7 @@ public class HOAF2DA implements HOAConsumer {
 			for (int index : accSignature) {
 				if (index >= acceptanceSets.size()) {
 					// acceptance set index not used in acceptance condition, ignore
+					continue;
 				}
 				BitSet accSet = acceptanceSets.get(index);
 				if (accSet == null) {