From 5e5461da4acf808230ffc18f3014e2ef55cf8979 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 27 Aug 2014 22:05:54 +0000
Subject: [PATCH] Compile fix (to allow build on Java 6).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9143 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/ModulesFile.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java
index 479d8cff..00e14cd7 100644
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/prism/src/parser/ast/ModulesFile.java
@@ -901,7 +901,7 @@ public class ModulesFile extends ASTElement
 		boolean matrix[][] = new boolean[n][n];
 		for (int i = 0; i < n; i++) {
 			SystemDefn sys = systemDefns.get(i);
-			Vector<String> v = new Vector<>();
+			Vector<String> v = new Vector<String>();
 			sys.getReferences(v);
 			for (int j = 0; j < v.size(); j++) {
 				int k = getSystemDefnIndex(v.elementAt(j));