]> source.dussan.org Git - jgit.git/commitdiff
NoteMapMerger: remove unnecessary cast 54/1200654/2
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Sep 2024 06:30:39 +0000 (08:30 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 1 Oct 2024 19:20:31 +0000 (21:20 +0200)
Change-Id: I3be4963f506529bbadc5b6dfc0b625ee85effc1f

org.eclipse.jgit/src/org/eclipse/jgit/notes/NoteMapMerger.java

index 79ceb1316aa459a99892546f0b0ca2d7b124bb24..30512c17b82a745c0c0e2c792954a0ea1419357a 100644 (file)
@@ -199,7 +199,7 @@ public class NoteMapMerger {
                if (child == null)
                        return;
                if (child instanceof InMemoryNoteBucket)
-                       b.setBucket(cell, ((InMemoryNoteBucket) child).writeTree(inserter));
+                       b.setBucket(cell, child.writeTree(inserter));
                else
                        b.setBucket(cell, child.getTreeId());
        }