commit | 0988829edde6f7357e875ddd2b6ab09de44bea3a | [log] [tgz] |
---|---|---|
author | Yannick Moy <moy@adacore.com> | Tue Jul 27 15:57:04 2021 +0200 |
committer | Pierre-Marie de Rodat <derodat@adacore.com> | Wed Sep 22 15:01:51 2021 +0000 |
tree | 71a100825a37fece2e32835989ff44a35384fcd6 | |
parent | dfe93fd5f5a5e271d7f3b03984f837d8597ee3bf [diff] |
[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.