]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Remove name constant used by GNATprove but not by GNAT
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 6 Jan 2022 17:33:26 +0000 (18:33 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 11 Jan 2022 13:24:49 +0000 (13:24 +0000)
commitc441162d56974eb557f2ed3cab25c6107411ac62
tree2146890cc6a0dc1416acd65c61f99edf4572f554
parent612681db8d82b9ca9c4e20f6217ed0a46eb0380d
[Ada] Remove name constant used by GNATprove but not by GNAT

gcc/ada/

* snames.ads-tmpl: Restore Name_Rpc.
gcc/ada/snames.ads-tmpl