From b5596cd148ab7c41519042b8f3671c4892355e19 Mon Sep 17 00:00:00 2001
From: Michael Uhl <michael.b.uhl@gmail.com>
Date: Tue, 7 May 2019 10:38:49 +0200
Subject: [PATCH] ResultPair durchgeschleift.

---
 .../src/typinferenzplugin/TypeReplaceMarker.java               | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java
index cbff44b..2408a3a 100644
--- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java
+++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/TypeReplaceMarker.java
@@ -25,7 +25,8 @@ public class TypeReplaceMarker extends JavMarker {
 	}
 
 	public boolean isConsistent(TypeReplaceMarker other) {
-		return this.resultSet.contains(ResultPairMap.RESULT_PAIRS.get(other.point.offset, other.tip.getInsertString()));
+		return this.resultSet.contains(other.getInsertPoint().getResultPair());
+		//return this.resultSet.contains(ResultPairMap.RESULT_PAIRS.get(other.point.offset, other.tip.getInsertString()));
 	}
 
 	public void run(){