CVS difference for ai12s/ai12-0414-1.txt

--- ai12s/ai12-0414-1.txt	2021/02/13 04:12:29	1.3
+++ ai12s/ai12-0414-1.txt	2021/02/26 23:52:09	1.4
@@ -1,4 +1,5 @@
-!standard 13.7(3/2)                                     21-02-10  AI12-0414-1/01
+!standard 11.4.2(12/2)                                     21-02-26  AI12-0414-1/02
+!standard 13.7(12/2)
 !standard 13.7.1(2/2)
 !standard A.1(4)
 !standard A.2(2)
@@ -60,6 +61,7 @@
 Modify the following paragraphs (all categorization pragmas in headers of
 language-defined paragraphs):
 
+11.4.2(12/2)
 13.7(3/2)
 13.7.1(2/2)
 A.1(4)
@@ -113,6 +115,15 @@
 
 Consistency is good.
 
+!corrigendum 11.4.2(12/2)
+
+@drepl
+@xcode<@b<package> Ada.Assertions @b<is>
+   @b<pragma> Pure(Assertions);>
+@dby
+@xcode<@b<package> Ada.Assertions
+   @b<with> Pure @b<is>>
+
 !corrigendum 13.7(3/2)
 
 @drepl
@@ -409,10 +420,10 @@
 @drepl
 @xcode<@b<package> Ada.Locales @b<is>
    @b<pragma> Preelaborate(Locales);
-   @b<pragma> Remote_Types(Locales);
+   @b<pragma> Remote_Types(Locales);>
 @dby
 @xcode<@b<package> Ada.Locales
-   @b<with> Preelaborate, Remote_Types @b<is>
+   @b<with> Preelaborate, Remote_Types @b<is>>
 
 !corrigendum B.2(3)