From 8be0e36cbe1bdf55d870e4b465ef2fb126437f29 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 10 Feb 2016 14:08:42 +0000
Subject: [PATCH] explicit.PredecessorRelation: consistently use getPre()

Potentially allows derived classes to just overload the getPre() method.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11174 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/PredecessorRelation.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/PredecessorRelation.java b/prism/src/explicit/PredecessorRelation.java
index 7e83560e..be3edab1 100644
--- a/prism/src/explicit/PredecessorRelation.java
+++ b/prism/src/explicit/PredecessorRelation.java
@@ -101,7 +101,7 @@ public class PredecessorRelation
 	 */
 	public Iterator<Integer> getPredecessorsIterator(int s)
 	{
-		return pre.get(s).iterator();
+		return getPre(s).iterator();
 	}
 
 	/**