tree f9873b4a07881b9e756bf898970aecd3a221caae
parent fee24d5cae0661a8e165b752b4d890a3fd02205c
author Piotr Trojanek <trojanek@adacore.com> 1654175446 +0200
committer Pierre-Marie de Rodat <derodat@adacore.com> 1657009696 +0000

[Ada] Remove comment about a long gone formal verification mode

Remove outdated a comment about the very first SPARK experiments
in GNAT.

gcc/ada/

	* sem_ch6.adb (Check_Missing_Return): Remove outdated comment.