From 42ad61bf1d5c570ed395013bd83e8fb7d54137c2 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 11 Dec 2020 04:49:45 +0100
Subject: synth-insts: comment assert for gcc/gnat-11.  Fix #1533

---
 src/synth/synth-insts.adb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src')

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;
 
-- 
cgit v1.2.3