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