Fixes eclipse-glsp/glsp#1199 (#223)

eclipse-glsp · Dec 15, 2023 · d62a1cd · d62a1cd
1 parent 282656a
commit d62a1cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/GModelElementBuilder.java b/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/GModelElementBuilder.java
@@ -64,7 +64,7 @@ public E add(final GModelElement child) {
       return self();
    }
 
-   public E addAll(final List<GModelElement> children) {
+   public E addAll(final List<? extends GModelElement> children) {
       this.children.addAll(children);
       return self();
    }