diff --git a/prism/src/prism/DefaultModelGenerator.java b/prism/src/prism/DefaultModelGenerator.java
index c898f31b..848f3199 100644
--- a/prism/src/prism/DefaultModelGenerator.java
+++ b/prism/src/prism/DefaultModelGenerator.java
@@ -98,6 +98,7 @@ public abstract class DefaultModelGenerator implements ModelGenerator
 		throw new PrismException("Label number \"" + i + "\" not defined");
 	}
 	
+	@Override
 	public int getLabelIndex(String label)
 	{
 		return -1;