This just aligns the documentation with the code.

Tested with 'make doc', applied on the mainline.


2025-01-06  Eric Botcazou  <ebotca...@adacore.com>

        PR ada/117936
        * doc/gnat_rm/implementation_defined_pragmas.rst
        (Unimplemented_Unit): Adjust the description of the error message.
        * gnat_rm.texi: Regenerate.

-- 
Eric Botcazou
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index 61ed40e78f4..768a2e659c2 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -7046,9 +7046,9 @@ Syntax:
 
 
 If this pragma occurs in a unit that is processed by the compiler, GNAT
-aborts with the message :samp:`xxx not implemented`, where
-``xxx`` is the name of the current compilation unit.  This pragma is
-intended to allow the compiler to handle unimplemented library units in
+aborts with the message :samp:`xxx is not supported in this configuration`,
+where ``xxx`` is the name of the current compilation unit.  This pragma
+is intended to allow the compiler to handle unimplemented library units in
 a clean manner.
 
 The abort only happens if code is being generated.  Thus you can use
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index baf549e158f..8aceb6f62f9 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -8643,9 +8643,9 @@ pragma Unimplemented_Unit;
 @end example
 
 If this pragma occurs in a unit that is processed by the compiler, GNAT
-aborts with the message @code{xxx not implemented}, where
-@code{xxx} is the name of the current compilation unit.  This pragma is
-intended to allow the compiler to handle unimplemented library units in
+aborts with the message @code{xxx is not supported in this configuration},
+where @code{xxx} is the name of the current compilation unit.  This pragma
+is intended to allow the compiler to handle unimplemented library units in
 a clean manner.
 
 The abort only happens if code is being generated.  Thus you can use

Reply via email to