[Ada] Add SPARK_Mode => Off to System.File_Control_Block
authorClaire Dross <dross@adacore.com>
Tue, 29 Jun 2021 08:38:31 +0000 (10:38 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 20 Sep 2021 12:31:36 +0000 (12:31 +0000)
commit9613900aef1cdb5c5c3b867825b6295c0b00f4cc
treee5c5dcf316081759ab34a9baa9b8a06b84053adb
parentc5049dfec7e13e458fbda1e9f01ffb0658484f70
[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