archives

« Bugzilla Issues Index

#612 — 12.11: "NormalCompletion(" font


In 12.11 "The switch Statement",
under "Runtime Semantics: Case Block Evaluation",
the 4 occurrences of "NormalCompletion(" appear in a sans-serif font.

Change them to serif font.


corrected in editor's draft


fixed in rev10, Sept. 27 2012 draft