checkpoint
[sbp.git] / src / edu / berkeley / sbp / GSS.java
index 9075f41..1a8ef11 100644 (file)
@@ -344,7 +344,7 @@ class GSS {
                     for(Node child : ((Forest.Many<?>)result).parents) {
                         if (only != null && child!=only) continue;
                         holder[pos] = result;
-                        if (pos==0) child.finish(r, r.rewrite(new Input.Region(child.phase().getLocation(), phase().getLocation())), target);
+                        if (pos==0) child.finish(r, r.rewrite(child.phase().getLocation().createRegion(phase().getLocation())), target);
                         else        child.reduce(r, pos-1, target, null);
                     }