From b5430041d7117e7eb84efba41234375320bb3dbd Mon Sep 17 00:00:00 2001 From: Kenneth Yang <82800265+kjy5@users.noreply.github.com> Date: Sun, 11 Aug 2024 12:49:38 -0700 Subject: [PATCH] fix: deepCopy JavaDoc to specify that metadata is not copied. (#365) --- core/src/main/java/com/github/gumtreediff/tree/Tree.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/src/main/java/com/github/gumtreediff/tree/Tree.java b/core/src/main/java/com/github/gumtreediff/tree/Tree.java index 730183f9..31b70afa 100644 --- a/core/src/main/java/com/github/gumtreediff/tree/Tree.java +++ b/core/src/main/java/com/github/gumtreediff/tree/Tree.java @@ -206,7 +206,7 @@ default int positionInParent() { } /** - * Make a deep copy of the tree. Deep copy of node however shares Metadata + * Make a deep copy of the tree. Metadata is not copied over. */ Tree deepCopy();