diff -up ghdl/src/synth/synth-insts.adb.orig ghdl/src/synth/synth-insts.adb
--- ghdl/src/synth/synth-insts.adb.orig	2020-12-10 21:10:21.730105052 +0100
+++ ghdl/src/synth/synth-insts.adb	2020-12-10 21:10:34.538536693 +0100
@@ -248,7 +248,6 @@ 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);
       Str : String (1 .. Str_Len + 41);
       Len : Natural;