Message ID | 20220111133235.GA748944@adacore.com |
---|---|
State | New |
Headers | show |
Series | [Ada] Remove name constant used by GNATprove but not by GNAT | expand |
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl --- 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 + $;