archives

« Bugzilla Issues Index

#2039 — 25.4.3.10: CreateEmptyIterator not used


Section 25.4.3.10 defines abstract operation CreateEmptyIterator, whose only uses are in the Scrap Heap.

Delete the section?


fixed in rev28 editor's draft


fixed in rev28