aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/synth/synth-insts.adb5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/synth/synth-insts.adb b/src/synth/synth-insts.adb
index a49ee4838..5c95dce07 100644
--- a/src/synth/synth-insts.adb
+++ b/src/synth/synth-insts.adb
@@ -248,7 +248,10 @@ package body Synth.Insts is
use Name_Table;
Id_Len : constant Natural := Get_Name_Length (Id);
Str_Len : constant Natural := Id_Len + 512;
- pragma Assert (GNAT.SHA1.Hash_Length = 20);
+
+ -- True in practice (and used to set the length of STR, but doesn't work
+ -- anymore with gcc/gnat 11.
+ -- pragma Assert (GNAT.SHA1.Hash_Length = 20);
Str : String (1 .. Str_Len + 41);
Len : Natural;