Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7262 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · e2a0ee3f57
1 changed files with 0 additions and 1 deletions
--- a/prism/src/pta/DBMList.java
+++ b/prism/src/pta/DBMList.java
@ -444,7 +444,6 @@ public class DBMList extends NCZone
 	
 	/**
 	 * Get the number of DBMs in this DBMList.
-	 * @return
 	 */
 	public int size()
 	{