Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@747 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · d9c38a0763
1 changed files with 1 additions and 1 deletions
--- 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();