CVS difference for ai22s/ai22-0007-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai22s/ai22-0007-1.txt

--- ai22s/ai22-0007-1.txt	2022/01/20 02:59:50	1.4
+++ ai22s/ai22-0007-1.txt	2022/02/04 03:54:52	1.5
@@ -12,7 +12,7 @@
 Discriminant checks must be performed early enough to prevent bad objects.
 If the ancestor subtype of a type extension is a constrained discriminated
 subtype, do we want to prevent the existence (however brief) of

Questions? Ask the ACAA Technical Agent