From 282afa652b9ada72ca9f7cec9efc52d8269483f5 Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@itemis.de>
Date: Tue, 28 Mar 2017 17:16:32 +0200
Subject: [PATCH] made signature of new traceregion constructor more relaxed

Signed-off-by: Christian Dietrich <christian.dietrich@itemis.de>
---
 .../src/org/eclipse/xtext/generator/trace/TraceRegion.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.eclipse.xtext/src/org/eclipse/xtext/generator/trace/TraceRegion.java b/org.eclipse.xtext/src/org/eclipse/xtext/generator/trace/TraceRegion.java
index 03e9a7900..0bd530af2 100644
--- a/org.eclipse.xtext/src/org/eclipse/xtext/generator/trace/TraceRegion.java
+++ b/org.eclipse.xtext/src/org/eclipse/xtext/generator/trace/TraceRegion.java
@@ -54,7 +54,7 @@ public class TraceRegion extends AbstractStatefulTraceRegion {
 		this(myOffset, myLength, myLineNumber, myEndLineNumber, useForDebugging, (Collection<ILocationData>) allLocationData, parent);
 	}
 	
-	public TraceRegion(int myOffset, int myLength, int myLineNumber, int myEndLineNumber, boolean useForDebugging, Collection<ILocationData> allLocationData, AbstractTraceRegion parent) {
+	public TraceRegion(int myOffset, int myLength, int myLineNumber, int myEndLineNumber, boolean useForDebugging, Collection<? extends ILocationData> allLocationData, AbstractTraceRegion parent) {
 		super(new TextRegionWithLineInformation(myOffset, myLength, myLineNumber, myEndLineNumber), useForDebugging, Lists.newArrayList(allLocationData), parent);
 		if (parent == null) {
 			for(ILocationData locationData: allLocationData) {