Skip to content

Commit 538a248

Browse files
committed
Add P/R for 2136
1 parent 82ddc5e commit 538a248

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

xml/issue2136.xml

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,9 +54,23 @@ this is presumably not intended, namely those of the expressions <tt>os &lt;&lt;
5454
Nonetheless, the editorial change seems to be applicable even without having this issue resolved, because
5555
it doesn't actually change the normative state by itself.
5656
</p>
57+
58+
<note>2024-10-03; Jonathan adds wording</note>
5759
</discussion>
5860

5961
<resolution>
62+
<p>This wording is relative to <paper num="n4988"/>.</p>
63+
64+
<ol>
65+
<li>
66+
<p>Change <sref ref="[structure.specifications]"/> as indicated:</p>
67+
<blockquote>
68+
(3.6) &mdash;
69+
<i>Postconditions</i>: the conditions (sometimes termed observable results)
70+
established by the function <ins>when a call to it returns normally</ins>.
71+
</blockquote>
72+
</li>
73+
</ol>
6074
</resolution>
6175

6276
</issue>

0 commit comments

Comments
 (0)