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

@@ -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;
 	}
 	
 	/**