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

--- ai12s/ai12-0199-1.txt	2016/11/24 02:41:08	1.4
+++ ai12s/ai12-0199-1.txt	2017/04/21 04:25:35	1.5
@@ -1,4 +1,4 @@
-!standard 7.3.2(5/4)                                   16-11-14  AI12-0199-1/03
+!standard 7.3.2(5/4)                                   17-04-20  AI12-0199-1/04
 !standard 7.3.2(8/3)
 !class binding interpretation 16-07-21
 !status Amendment 1-2012 16-11-14
@@ -102,7 +102,7 @@
 
       with Pkg2;
       package Pkg3 is
-         type NT is abstract new Pkg2.T null record;
+         type NT is abstract new Pkg2.T with null record;
          -- inherits Type_Invariant'Class => Is_OK (X);
          function Is_Ok (X : NT) return Boolean is abstract;
          -- inherits Proc.