[Ada] Mark generic body outside of SPARK
authorYannick Moy <moy@adacore.com>
Wed, 25 Nov 2020 09:33:54 +0000 (10:33 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 15 Dec 2020 11:41:54 +0000 (06:41 -0500)
commit1851d3cef24d4cbc3b55305c75c04a2ce9667315
tree5f99e938d4b73a15b464a6daaa45d42c5cc6c596
parentd79e7af5ff74c714b15d0cd123752cc4714e4dc6
[Ada] Mark generic body outside of SPARK

gcc/ada/

* libgnat/a-tiflio.adb: Mark body not in SPARK.
* libgnat/a-tiflio.ads: Mark spec in SPARK.
gcc/ada/libgnat/a-tiflio.adb
gcc/ada/libgnat/a-tiflio.ads