tree 91a3fc54fff7442c86f2d9925df5634731e56615
parent 99e30ba8c01f80a81891223069d47d8a611082c4
author Piotr Trojanek <trojanek@adacore.com> 1627478169 +0200
committer Pierre-Marie de Rodat <derodat@adacore.com> 1632402374 +0000

[Ada] Remove Initializes contracts from Ada.Strings.Bounded

gcc/ada/

	* libgnat/a-strbou.ads (Generic_Bounded_Length): Remove explicit
	Initializes contract.