[Ada] Fix precondition of Cot for code analyzers
authorYannick Moy <moy@adacore.com>
Mon, 17 May 2021 13:58:26 +0000 (15:58 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 7 Jul 2021 16:23:13 +0000 (16:23 +0000)
commitd557a5f9cea39c4871af06e0684f94590d8bd97d
treeb9be7181822a24d52f41ef7d4372e44aa6cbfb6c
parent6dcf89443d781561bfddf372ee33bf78fcad3a75
[Ada] Fix precondition of Cot for code analyzers

gcc/ada/

* libgnat/a-ngelfu.ads (Cot): Fix precondition.
gcc/ada/libgnat/a-ngelfu.ads