public Object repeatTag() { return null; }
public Sequence createSequence(Production p) {
if (p.tag==null) return null;
- return Sequence.newRewritingSequence(p.tag, p.elements, p.drops);
+ return Sequence.create(p.tag, p.elements, p.drops, false);
}
}