Commit 4d0e0fea authored by Moritz Dieing's avatar Moritz Dieing
Browse files

Small bugfix

parent d9572665
Pipeline #165219 passed with stages
in 9 minutes and 59 seconds
......@@ -182,7 +182,6 @@ public class ExplanationCreatorUnification {
}
List<Substitution> substitutions = subs.unwrap();
List<Constraint> constraints = step.getConstraints();
if (currentConstraint.getFirstType().equals(currentConstraint.getSecondType())) {
// trivial constraint
createTrivialConstraintText(currentConstraint);
......@@ -196,8 +195,7 @@ public class ExplanationCreatorUnification {
currentConstraint, substitutions.get(substitutions.size() - 1));
} else {
// both sides are functions
createFunctionText(currentConstraint,
constraints.get(constraints.size() - 1), constraints.get(constraints.size() - 2));
createFunctionText(currentConstraint, step.getConstraints().get(0), step.getConstraints().get(1));
}
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment