]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Fix lemma in generic unit System.Arith_Double
authorYannick Moy <moy@adacore.com>
Mon, 29 Nov 2021 15:15:32 +0000 (16:15 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 5 Jan 2022 11:32:34 +0000 (11:32 +0000)
commit50d8b1066a46cc134c1accc270c9be1b1cae8bc2
treefc4782859f911c411db2f6973365699f071414cf
parentacdf2f079b3dcc053129b973fc3e94c596589286
[Ada] Fix lemma in generic unit System.Arith_Double

gcc/ada/

* libgnat/s-aridou.adb (Lemma_Word_Commutation): Fix for
instances with other values of Single_Size.
gcc/ada/libgnat/s-aridou.adb