rename Result->ResultNode
[sbp.git] / src / edu / berkeley / sbp / GSS.java
index db833b9..2e57348 100644 (file)
@@ -134,7 +134,7 @@ class GSS {
             for(StateNode n : hash.values()) {
                 if (token == null && n.state().isAccepting()) {
                     if (finalResult==null) finalResult = new Forest.Many();
-                    for(Result r : n)
+                    for(ResultNode r : n)
                         finalResult.merge(r.getForest());
                 }
                 if (token == null) continue;