diff options
| author | Yannick Moy <moy@adacore.com> | 2021-07-27 15:57:04 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:51 +0000 |
| commit | 0988829edde6f7357e875ddd2b6ab09de44bea3a (patch) | |
| tree | 71a100825a37fece2e32835989ff44a35384fcd6 /gcc/fortran/f95-lang.c | |
| parent | dfe93fd5f5a5e271d7f3b03984f837d8597ee3bf (diff) | |
| download | gcc-0988829edde6f7357e875ddd2b6ab09de44bea3a.zip gcc-0988829edde6f7357e875ddd2b6ab09de44bea3a.tar.gz gcc-0988829edde6f7357e875ddd2b6ab09de44bea3a.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/fortran/f95-lang.c')
0 files changed, 0 insertions, 0 deletions