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;