update API in Repeat

darcs-hash:20070326054030-5007d-215c9bbc271cdc5004b5aea6cb46d7e13de892de.gz

diff --git a/src/edu/berkeley/sbp/meta/Repeat.java b/src/edu/berkeley/sbp/meta/Repeat.java
index b3f1841..6308362 100644 (file)
--- a/src/edu/berkeley/sbp/meta/Repeat.java
+++ b/src/edu/berkeley/sbp/meta/Repeat.java
@@ -20,7 +20,8 @@ public class Repeat extends Union {
     protected Repeat(final Element e, boolean zeroOkay, boolean manyOkay, final Element separator, boolean maximal, Object tag, Atom follow) {
         super(e+(!manyOkay ? "?" : (zeroOkay ? (maximal ? "**" : "*") : (maximal ? "++" : "+")))+(separator==null?"":("/"+separator)), true);
         if (zeroOkay && !manyOkay) {
-            add(Sequence.create().followedBy(follow));
+            // FIXME
+            add(Sequence.create(new Element[0], tag).followedBy(follow));
             add(Sequence.create(e).followedBy(follow));
             return;
         }