Please enter the commit message for your changes. Lines starting

with '#' will be ignored, and an empty message aborts the commit.
This commit is contained in:
pl@gohorb.ba-horb.de 2023-12-15 13:47:25 +01:00
parent dcc2da85c5
commit 71899ac673

View File

@ -2024,9 +2024,6 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
if (((pairOp == PairOperator.SMALLERDOT) || (pairOp == PairOperator.SMALLERNEQDOT)) && lhsType instanceof PlaceholderType) {
//System.out.println(pair);
if (first) { //writeLog(pair.toString()+"\n");
if (((PlaceholderType)(pair.getLhsType())).getName().equals("AR")) {
System.out.println("AR");
}
Set<Set<UnifyPair>> x1 = unifyCase1(pair, fc);
if (pairOp == PairOperator.SMALLERNEQDOT) {
Set<UnifyPair> remElem = new HashSet<>();