From d9c38a0763c24b1adccfbbb5f746f574b3603b22 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 11 Apr 2008 18:14:24 +0000
Subject: [PATCH] Code tidy.

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

diff --git a/prism/src/prism/Model.java b/prism/src/prism/Model.java
index e2d3f6ad..acf2f6e0 100644
--- a/prism/src/prism/Model.java
+++ b/prism/src/prism/Model.java
@@ -94,7 +94,7 @@ public interface Model
 	int getNumDDRowVars();
 	int getNumDDColVars();
 	int getNumDDVarsInTrans();
-	Vector getDDVarNames();
+	Vector<String> getDDVarNames();
 	
 	ODDNode getODD();