@@ -5775,11 +5775,7 @@ package body Sem_Attr is
when Attribute_Reduce =>
Check_E2;
-
- if not Extensions_Allowed then
- Error_Attr
- ("% attribute only supported under -gnatX", P);
- end if;
+ Error_Msg_Ada_2022_Feature ("Reduce attribute", Sloc (N));
declare
Stream : constant Node_Id := Prefix (N);
@@ -407,13 +407,6 @@ package Sem_Attr is
-- as Range applied to the array itself. The result is of type universal
-- integer.
- ------------
- -- Reduce --
- ------------
-
- Attribute_Reduce => True,
- -- See AI12-0262-1
-
---------
-- Ref --
---------