| commit | 9613900aef1cdb5c5c3b867825b6295c0b00f4cc | |
| author | Claire Dross <dross@adacore.com> | |
| Tue, 29 Jun 2021 08:38:31 +0000 (29 10:38 +0200) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Mon, 20 Sep 2021 12:31:36 +0000 (20 12:31 +0000) | ||
| tree | e5c5dcf316081759ab34a9baa9b8a06b84053adb | treesnapshot (tar.gz zip) |
| parent | c5049dfec7e13e458fbda1e9f01ffb0658484f70 | commitdiff |
[Ada] Add SPARK_Mode => Off to System.File_Control_Block
gcc/ada/
* libgnat/s-ficobl.ads: The entire package has a SPARK_Mode =>
Off aspect.
gcc/ada/
* libgnat/s-ficobl.ads: The entire package has a SPARK_Mode =>
Off aspect.
| gcc/ada/libgnat/s-ficobl.ads | diffblobblamehistory |