From 23e61ea93a88a1c43ff931675d55bc05e66811c3 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 31 May 2016 15:37:34 +0000
Subject: [PATCH] DebugJDD: Improve tracing for "Copied from" case

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

diff --git a/prism/src/jdd/DebugJDD.java b/prism/src/jdd/DebugJDD.java
index 7db9fc61..5d5d9250 100644
--- a/prism/src/jdd/DebugJDD.java
+++ b/prism/src/jdd/DebugJDD.java
@@ -523,7 +523,7 @@ public class DebugJDD
 		}
 
 		if (isTraced(result)) {
-			trace("Copied", result);
+			trace("Copied from " +dNode.getID(), result);
 		}
 
 		return result;