From 130bea11f1b8cd69b8f7c2e68f35201562d8c61b Mon Sep 17 00:00:00 2001
From: Pavel Vojtechovsky <p.vojtechovsky@post.cz>
Date: Wed, 5 Dec 2018 20:58:33 +0100
Subject: [PATCH] refactor: support of clonning of custom Tree

---
 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 9c060f6f5..e82aed2ac 100644
--- a/core/src/main/java/com/github/gumtreediff/tree/Tree.java
+++ b/core/src/main/java/com/github/gumtreediff/tree/Tree.java
@@ -57,7 +57,7 @@ public Tree(int type, String label) {
     }
 
     // Only used for cloning ...
-    private Tree(Tree other) {
+    protected Tree(Tree other) {
         this.type = other.type;
         this.label = other.getLabel();
         this.id = other.getId();