Public Git Hosting - official-gcc.git/commit

commit	4ca7f4e26dd10243da57584175db137115e5aefd
author	Etienne Servais <servais@adacore.com>
	Thu, 9 Dec 2021 16:54:21 +0000 (9 17:54 +0100)
committer	Pierre-Marie de Rodat <derodat@adacore.com>
	Thu, 6 Jan 2022 17:11:39 +0000 (6 17:11 +0000)
tree	02e3b1063d10a5a1a723b6b96091e4a45d185acb	tree \| snapshot (tar.gz zip)
parent	b542b2d97f2c574d58f6f071cdf1314ceb51587e	commit \| diff

[Ada] Fix typo on compatibility

gcc/ada/

* sem_type.adb (Full_View_Covers): Fix typo.

Mirror of the offical gcc git repository hosted at gcc.gnu.org