[Ada] Update headers

2020-06-03  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* libgnat/s-aotase.ads, libgnat/s-atoope.ads,
	libgnat/s-atopar.ads, libgnat/s-atopex.ads: Update header.

diff --git a/gcc/ada/libgnat/s-aotase.ads b/gcc/ada/libgnat/s-aotase.ads
index ab27b303d7549ac3b9b27262670d248b20528905..47f68f0b0083cc566283f7571e21462957758d48 100644 (file)
--- a/gcc/ada/libgnat/s-aotase.ads
+++ b/gcc/ada/libgnat/s-aotase.ads
@@ -8,6 +8,10 @@
 --                                                                          --
 --                 Copyright (C) 2019-2020, Free Software Foundation, Inc.  --
 --                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. The copyright notice above, and the license provisions that follow --
+-- apply solely to the  contents of the part following the private keyword. --
+--                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/libgnat/s-atoope.ads b/gcc/ada/libgnat/s-atoope.ads
index f638629d5557cd4840e5fe29fa8910dff0d3d39b..a0f0eb829ba3531aa432edc42c7470bae97d6f81 100644 (file)
--- a/gcc/ada/libgnat/s-atoope.ads
+++ b/gcc/ada/libgnat/s-atoope.ads
@@ -8,6 +8,10 @@
 --                                                                          --
 --                 Copyright (C) 2019-2020, Free Software Foundation, Inc.  --
 --                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. The copyright notice above, and the license provisions that follow --
+-- apply solely to the  contents of the part following the private keyword. --
+--                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/libgnat/s-atopar.ads b/gcc/ada/libgnat/s-atopar.ads
index ca8f79e0868ff66ab302de5f39198f9b2e75b915..37bb2b17659bad02f173db8673e598b9e93d79c3 100644 (file)
--- a/gcc/ada/libgnat/s-atopar.ads
+++ b/gcc/ada/libgnat/s-atopar.ads
@@ -8,6 +8,10 @@
 --                                                                          --
 --                 Copyright (C) 2019-2020, Free Software Foundation, Inc.  --
 --                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. The copyright notice above, and the license provisions that follow --
+-- apply solely to the  contents of the part following the private keyword. --
+--                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --

diff --git a/gcc/ada/libgnat/s-atopex.ads b/gcc/ada/libgnat/s-atopex.ads
index ae4b0e712f6e647fc44f95d16644a2482af89b64..11d850ef47e2f88c732832def95859bfbbc02678 100644 (file)
--- a/gcc/ada/libgnat/s-atopex.ads
+++ b/gcc/ada/libgnat/s-atopex.ads
@@ -8,6 +8,10 @@
 --                                                                          --
 --                 Copyright (C) 2019-2020, Free Software Foundation, Inc.  --
 --                                                                          --
+-- This specification is derived from the Ada Reference Manual for use with --
+-- GNAT. The copyright notice above, and the license provisions that follow --
+-- apply solely to the  contents of the part following the private keyword. --
+--                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --