Tweak debug print out of DRA - show APs too.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9092 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/DRA.java

@@ -240,7 +240,7 @@ public class DRA<Symbol>
 		int i, n;
 		s += size + " states (start " + start + ")";
 		if (apList != null)
-			s += ", " + apList.size() + " labels";
+			s += ", " + apList.size() + " labels (" + apList + ")";
  		s += ":";
 		for (i = 0; i < size; i++) {
 			for (Edge e : edges.get(i)) {