DebugJDD: Improve tracing for "Copied from" case

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11381 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · 23e61ea93a
1 changed files with 1 additions and 1 deletions
--- 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;