diff options
| author | Claire Dross <dross@adacore.com> | 2021-06-29 10:38:31 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-20 12:31:36 +0000 |
| commit | 9613900aef1cdb5c5c3b867825b6295c0b00f4cc (patch) | |
| tree | e5c5dcf316081759ab34a9baa9b8a06b84053adb /gcc/cppbuiltin.c | |
| parent | c5049dfec7e13e458fbda1e9f01ffb0658484f70 (diff) | |
| download | gcc-9613900aef1cdb5c5c3b867825b6295c0b00f4cc.zip gcc-9613900aef1cdb5c5c3b867825b6295c0b00f4cc.tar.gz gcc-9613900aef1cdb5c5c3b867825b6295c0b00f4cc.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/cppbuiltin.c')
0 files changed, 0 insertions, 0 deletions