ResultPair durchgeschleift.

This commit is contained in:
Michael Uhl 2019-05-07 10:38:49 +02:00
parent fdedcb8191
commit b5596cd148

View File

@ -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(){