From 584507d6aeb01754a28d054132e0ab1d94174978 Mon Sep 17 00:00:00 2001
From: David Crawshaw <david@zentus.com>
Date: Tue, 10 Jun 2008 00:29:28 -0400
Subject: [PATCH] minor: missed name change

darcs-hash:20080610042928-0c629-f27902bb665357504384bcc885b4f4c58b41fe9f.gz
---
 src/edu/berkeley/sbp/Tree.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/edu/berkeley/sbp/Tree.java b/src/edu/berkeley/sbp/Tree.java
index 62dfa9d..16c473e 100644
--- a/src/edu/berkeley/sbp/Tree.java
+++ b/src/edu/berkeley/sbp/Tree.java
@@ -45,7 +45,7 @@ public class Tree<NodeType>
     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()];
-- 
1.7.10.4