Commit 2b49f8aa authored by Sarah Grebing's avatar Sarah Grebing

just a comment

parent 82fd6c35
......@@ -347,6 +347,7 @@ public class ProofTree extends BorderPane {
if (childNode.getNodeInfo().getBranchLabel() != null) {
ti.getChildren().add(populate(childNode.getNodeInfo().getBranchLabel(), childNode));
} else {
//ti.getChildren().add(populate(childNode.getAppliedRuleApp().rule().name().toString(), childNode));
ti.getChildren().add(populate("BRANCH " + branchCounter, childNode));
branchCounter++;
}
......
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