X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FWalk.java;h=cd991e889028d64f1f12c28b72635837f7824bbf;hb=aaa5d101e054dc548e7ef7831b1fcb7913a4d4d4;hp=8c6ecae17d897509e18d764dddb2346275f46135;hpb=5d18f5606c9296e6b0c5749f05fc68f358ace2f6;p=sbp.git

diff --git a/src/edu/berkeley/sbp/Walk.java b/src/edu/berkeley/sbp/Walk.java
index 8c6ecae..cd991e8 100644
--- a/src/edu/berkeley/sbp/Walk.java
+++ b/src/edu/berkeley/sbp/Walk.java
@@ -149,7 +149,7 @@ abstract class Walk<T> {
 
             if (e instanceof Sequence) {
                 Sequence s = (Sequence)e;
-                if (s.noFollow() != null) cs = cs.minus(s.noFollow());
+                if (s.follow() != null) cs = cs.intersect(s.follow());
             }
 
             if (c != null && e==me) {