On 26/05/2020 17:06, Martin Liška wrote:
That was simpler than I expected ;) I compared results for all 2000
patches since
we switched to git and there are no changes!
Ah, nice! Thank you for double-checking: I only ran the unit tests on my
side.
+diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb
+index 981bb91..d58f136 100644
+--- a/gcc/ada/contracts.adb
++++ b/gcc/ada/contracts.adb
+@@ -213,7 +213,7 @@ package body Contracts is
+ -- Initializes
+ -- Part_Of (instantiation only)
+
+- elsif Ekind_In (Id, E_Generic_Package, E_Package) then
++ elsif Is_Package_Or_Generic_Package (Id) then
+ if Nam_In (Prag_Nam, Name_Abstract_State,
+ Name_Initial_Condition,
+ Name_Initializes)
The only nit: please replace it with:
@@ -1 +1,2 @@
+
in order to shrink the file.
Please install it with the change.
Done and pushed. Thank you for the quick review!
--
Pierre-Marie de Rodat
