From d386b73cc4220dc70b25f2203fb3e0ed850b13cb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 18 Aug 2014 10:42:58 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/DRA.java b/prism/src/prism/DRA.java
index 32dd8cfc..9f1a2259 100644
--- a/prism/src/prism/DRA.java
+++ b/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)) {