tree 97af5b140e0610c8f20cb944573ed8a0efb286ea
parent d74d98784a9d0101aad8095d692193a74a2f62f6
author Eric Botcazou <ebotcazou@adacore.com> 1653292129 +0200
committer Pierre-Marie de Rodat <derodat@adacore.com> 1656920750 +0000

[Ada] Adjust description of Pure_Function pragma

The current wording can be read as implying that the result of a call
to a pure function does not depend on the context, which is incorrect.
The pragma only guarantees the absence of side effects of such a call.

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst (Pure_Function):
	Fix ambiguous wording about context dependence.
	* gnat_rm.texi: Regenerate.