diff --git a/prism/src/pta/DBMList.java b/prism/src/pta/DBMList.java
index 48f5dc0c..4e860360 100644
--- 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()
 	{