- /*
- public Sequence createSequence(Production p) {
- Sequence ret = super.createSequence(p);
- if (ret != null) return ret;
- return Sequence.create(p.nonTerminal, p.elements, p.drops, false);
- }
- */
+ //public Sequence createSequence(Production p) {
+ //Sequence ret = super.createSequence(p);
+ //if (ret != null) return ret;
+ //return Sequence.create(p.nonTerminal, p.elements, p.drops, false);
+ //}