archives

« Bugzilla Issues Index

#338 — ArrowBody not defined


P. 149

There is a production (nonterminal symbol?) here called "ArrowBody", that is never defined.


Should be ConciseBody. Corrected in editors working draft.