From fc881c0a2fba02adf958859c420eb8133e7a9184 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Aug 2016 10:31:50 +0000
Subject: [PATCH] Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11680 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/DefaultModelGenerator.java | 1 +
 1 file changed, 1 insertion(+)

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;