[Ada] Adapt body of formal sets and maps for SPARK
[official-gcc.git] / gcc / DATESTAMP
blob7d15185cd15a12cd7a0b7e38c4a126954a60aafe
1 20220513