checkpoint
[sbp.git] / src / edu / berkeley / sbp / GSS.java
index 9c4b62b..8412471 100644 (file)
@@ -338,7 +338,9 @@ public class GSS {
                 Forest[] holder = r.holder;
                 Forest old = holder[pos];
 
-                for(Forest result : results())
+                HashSet<Forest> rr = new HashSet<Forest>();
+                for(Forest result : results()) rr.add(result);
+                for(Forest result : rr)
                     for(Node child : ((Forest.Ref<?>)result).parents) {
                         if (only != null && child!=only) continue;
                         holder[pos] = result;