]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx32 in s-arit32.adb
authorJohannes Kliemann <kliemann@adacore.com>
Tue, 28 Jan 2025 12:13:31 +0000 (12:13 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 5 Jun 2025 08:18:36 +0000 (10:18 +0200)
commitd4325877f35c8984680319c76af8274dd35c40fb
tree4926b3fe4450edc5936c5a1a34ea853074297b45
parentdf0d3b2491c5ee7859762c4b677b17b3dede3dc5
ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx32 in s-arit32.adb

gcc/ada/ChangeLog:

* libgnat/s-arit32.adb (Lemma_Not_In_Range_Big2xx32): Add missing
Ghost aspect.
gcc/ada/libgnat/s-arit32.adb