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 | |
| 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')
| -rw-r--r-- | gcc/ada/libgnat/s-ficobl.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/libgnat/s-ficobl.ads b/gcc/ada/libgnat/s-ficobl.ads index 6fff2da..4e97079 100644 --- a/gcc/ada/libgnat/s-ficobl.ads +++ b/gcc/ada/libgnat/s-ficobl.ads @@ -39,7 +39,7 @@ with Ada.Streams; with Interfaces.C_Streams; with System.CRTL; -package System.File_Control_Block is +package System.File_Control_Block with SPARK_Mode => Off is pragma Preelaborate; ---------------------------- |