CVS difference for ai22s/ai22-0094-1.html

Differences between 1.3 and version 1.4
Log of other versions for file ai22s/ai22-0094-1.html

--- ai22s/ai22-0094-1.html	2024/04/19 07:17:17	1.3
+++ ai22s/ai22-0094-1.html	2024/05/02 05:43:02	1.4
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0094-1/02</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0094-1/03</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:540pt; padding:36pt 36pt 36pt 36pt}
@@ -17,8 +17,8 @@
 </head><body class="body"><p class="anum">AI22-0094-1</p>
 <p class="head">!standard 10.2.1(9.1/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;24-04-16
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;24-04-26
 <p class="head">!standard 11.4.2(28/5)</p>
 <p class="head">!standard 13.12(8.3/1)</p>
 <p class="head">!standard 13.12(9.1/1)</p>
@@ -36,7 +36,7 @@
 Assertion_Policy pragma should not change the preelaborability of any elaborable construct.</p>
 <h2 class="head">!recommendation</h2>
 <p class="txts">State explicitly (as is already done in a similar case for freezing rules) that
-Assertion_Policy &nbsp;pragmas are ignored in determining preelaborability, and that instead all
+Assertion_Policy &nbsp;pragmas are ignored in determining preelaborability, and that instead, all
 relevant assertion policies are assumed to be Check.</p>
 <p class="txts">In 11.4.2, state the general principle that a (legal) Assertion_Policy pragma

Questions? Ask the ACAA Technical Agent