From 4c5d491717aa6aeeef2c0d144e681ff901cf7357 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 9 Jul 2015 09:30:57 +0000
Subject: [PATCH] Fix automata.DA.hasEdge(). Bug was introduced via the HOAF
 branch

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10270 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/automata/DA.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/prism/src/automata/DA.java b/prism/src/automata/DA.java
index 210c2120..d3bab963 100644
--- a/prism/src/automata/DA.java
+++ b/prism/src/automata/DA.java
@@ -121,7 +121,12 @@ public class DA<Symbol, Acceptance extends AcceptanceOmega>
 	 */
 	public boolean hasEdge(int src, Symbol label)
 	{
-		return edges.get(src).contains(label);
+		for (Edge edge : edges.get(src)) {
+			if (edge.label.equals(label)) {
+				return true;
+			}
+		}
+		return false;
 	}
 	
 	/**