From 3e223e1a0e07bc3c8c42cb2188c667cd6ea064fd Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 11 Jan 2023 05:18:14 +0100
Subject: elab-vhdl_files: remove incorrect assertion

---
 src/synth/elab-vhdl_files.adb | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/synth/elab-vhdl_files.adb b/src/synth/elab-vhdl_files.adb
index 21ae7c2bb..1c621f802 100644
--- a/src/synth/elab-vhdl_files.adb
+++ b/src/synth/elab-vhdl_files.adb
@@ -62,7 +62,6 @@ package body Elab.Vhdl_Files is
    begin
       pragma Assert (Vtyp.Kind = Type_Array);
       pragma Assert (Vtyp.Arr_El.Kind = Type_Discrete);
-      pragma Assert (Vtyp.Arr_El.W in 7 .. 8); --  Could be 7 in vhdl87
       pragma Assert (Vtyp.Alast);
       pragma Assert (Vtyp.Abound.Len = Res'Length);
 
-- 
cgit v1.2.3