CVS difference for acats/new/b432003.a

Differences between 1.1 and version 1.2
Log of other versions for file acats/new/b432003.a

--- acats/new/b432003.a	2019/12/31 05:12:54	1.1
+++ acats/new/b432003.a	2019/12/31 05:47:46	1.2
@@ -176,7 +176,7 @@
       -- Root), and we're not in the immediate scope of Ext4.
 
    X21 : constant ExtA :=
-      (B432003.Root with others => 0);                      -- ERROR: {7;1}
+      (B432003.Root with others => <>);                     -- ERROR: {7;1}
       -- The view of Root from from which Ext5 is descended has
       -- unknown discriminants.
 

Questions? Ask the ACAA Technical Agent