diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-07-28 15:16:09 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-23 13:06:14 +0000 |
| commit | e2b2f629da02f9b2549db7297133166f721953ae (patch) | |
| tree | 91a3fc54fff7442c86f2d9925df5634731e56615 /gcc/ada/libgnat | |
| parent | 99e30ba8c01f80a81891223069d47d8a611082c4 (diff) | |
| download | gcc-e2b2f629da02f9b2549db7297133166f721953ae.zip gcc-e2b2f629da02f9b2549db7297133166f721953ae.tar.gz gcc-e2b2f629da02f9b2549db7297133166f721953ae.tar.bz2 | |
[Ada] Remove Initializes contracts from Ada.Strings.Bounded
gcc/ada/
* libgnat/a-strbou.ads (Generic_Bounded_Length): Remove explicit
Initializes contract.
Diffstat (limited to 'gcc/ada/libgnat')
| -rw-r--r-- | gcc/ada/libgnat/a-strbou.ads | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/ada/libgnat/a-strbou.ads b/gcc/ada/libgnat/a-strbou.ads index cc24f70..31c1cc9 100644 --- a/gcc/ada/libgnat/a-strbou.ads +++ b/gcc/ada/libgnat/a-strbou.ads @@ -45,8 +45,6 @@ package Ada.Strings.Bounded with SPARK_Mode is -- Maximum length of a Bounded_String package Generic_Bounded_Length with SPARK_Mode, - Initializes => (Null_Bounded_String => Max, - Max_Length => Max), Initial_Condition => Length (Null_Bounded_String) = 0, Abstract_State => null is |