Skip to content

Commit de84521

Browse files
committed
Address new GNAT warning
1 parent 9561af4 commit de84521

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

tools/gnatcov/ada-rts/gnatcov_rts-buffers.ads

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -71,6 +71,7 @@ package GNATcov_RTS.Buffers is
7171
type Fingerprint_Type is array (1 .. 20) of Unsigned_8;
7272
for Fingerprint_Type'Component_Size use 8;
7373
for Fingerprint_Type'Size use 20 * 8;
74+
pragma Universal_Aliasing (Fingerprint_Type);
7475

7576
type GNATcov_RTS_Coverage_Buffers is record
7677
Fingerprint : Fingerprint_Type;

0 commit comments

Comments
 (0)