diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-06 18:33:26 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-11 13:24:49 +0000 |
| commit | c441162d56974eb557f2ed3cab25c6107411ac62 (patch) | |
| tree | 2146890cc6a0dc1416acd65c61f99edf4572f554 /gcc | |
| parent | 612681db8d82b9ca9c4e20f6217ed0a46eb0380d (diff) | |
| download | gcc-c441162d56974eb557f2ed3cab25c6107411ac62.zip gcc-c441162d56974eb557f2ed3cab25c6107411ac62.tar.gz gcc-c441162d56974eb557f2ed3cab25c6107411ac62.tar.bz2 | |
[Ada] Remove name constant used by GNATprove but not by GNAT
gcc/ada/
* snames.ads-tmpl: Restore Name_Rpc.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/snames.ads-tmpl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index f02bcfb..fa7ac8a 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -336,6 +336,7 @@ package Snames is Name_uCall : constant Name_Id := N + $; Name_RCI_Name : constant Name_Id := N + $; Name_Receiver : constant Name_Id := N + $; + Name_Rpc : constant Name_Id := N + $; Name_Subp_Id : constant Name_Id := N + $; Name_Operation : constant Name_Id := N + $; Name_Argument : constant Name_Id := N + $; |