From ee3dae7be9df31faa86ba1f00e715377d9a9c42c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 24 Jun 2015 15:40:21 +0000
Subject: [PATCH] Add a remove() impl to AddDefaultActionToTransitionsIterator
 - Java 7 does not have a default implementation of this.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10084 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCExplicit.java | 6 ++++++
 1 file changed, 6 insertions(+)

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
+		}
 	}
 }