[Ada] Simplify contract of Ada.Strings.Fixed.Trim for proof
authorYannick Moy <moy@adacore.com>
Tue, 27 Jul 2021 13:57:04 +0000 (15:57 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 22 Sep 2021 15:01:51 +0000 (15:01 +0000)
commit0988829edde6f7357e875ddd2b6ab09de44bea3a
tree71a100825a37fece2e32835989ff44a35384fcd6
parentdfe93fd5f5a5e271d7f3b03984f837d8597ee3bf
[Ada] Simplify contract of Ada.Strings.Fixed.Trim for proof

gcc/ada/

* libgnat/a-strfix.ads (Trim): Simplify contracts.
* libgnat/a-strfix.adb (Trim): Remove white space.
gcc/ada/libgnat/a-strfix.adb
gcc/ada/libgnat/a-strfix.ads