minor: missed name change
authorDavid Crawshaw <david@zentus.com>
Tue, 10 Jun 2008 04:29:28 +0000 (00:29 -0400)
committerDavid Crawshaw <david@zentus.com>
Tue, 10 Jun 2008 04:29:28 +0000 (00:29 -0400)
darcs-hash:20080610042928-0c629-f27902bb665357504384bcc885b4f4c58b41fe9f.gz

src/edu/berkeley/sbp/Tree.java

index 62dfa9d..16c473e 100644 (file)
@@ -45,7 +45,7 @@ public class Tree<NodeType>
     public Tree(Input.Region loc, NodeType head, List<Tree<NodeType>> kids){
         location = loc;
         ihead = head;
     public Tree(Input.Region loc, NodeType head, List<Tree<NodeType>> kids){
         location = loc;
         ihead = head;
-        if (children.size() == 0)
+        if (kids.size() == 0)
             children = emptyTree;
         else {
             children = new Tree[kids.size()];
             children = emptyTree;
         else {
             children = new Tree[kids.size()];