From 5b05021d0693cd573ae08091cacc504ae0758e2f Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 27 Jul 2015 15:46:55 +0000
Subject: [PATCH] JDDVars: switch from Vector to Vector<JDDNode>

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10427 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jdd/JDDVars.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/jdd/JDDVars.java b/prism/src/jdd/JDDVars.java
index 3748cf8f..8b500380 100644
--- a/prism/src/jdd/JDDVars.java
+++ b/prism/src/jdd/JDDVars.java
@@ -30,7 +30,7 @@ import java.util.Vector;
 
 public class JDDVars
 {
-	private Vector vars;
+	private Vector<JDDNode> vars;
 	private long array;
 	private boolean arrayBuilt;
 	
@@ -51,7 +51,7 @@ public class JDDVars
 
 	public JDDVars()
 	{
-		vars = new Vector();
+		vars = new Vector<JDDNode>();
 		array = 0;
 		arrayBuilt = false;
 	}