diff --git a/prism/src/explicit/DTMCExplicit.java b/prism/src/explicit/DTMCExplicit.java
index 299f6c1e..76e5d670 100644
--- a/prism/src/explicit/DTMCExplicit.java
+++ b/prism/src/explicit/DTMCExplicit.java
@@ -226,5 +226,11 @@ public abstract class DTMCExplicit extends ModelExplicit implements DTMC
 		{
 			return transIter.hasNext();
 		}
+		
+		@Override
+		public void remove()
+		{
+			// Do nothing: read-only
+		}
 	}
 }