archives

« Bugzilla Issues Index

#1044 — "ArrayCreate" defined twice


The abstract operation "ArrayCreate" is defined twice, in both 8.4.2.3 and 15.4.

Presumably delete the one in 15.4.


corrected in rev 13 editor's draft