From 6465dc24c70dcd3c17a62ae30b0db5882778a234 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 19 Jan 2020 04:30:52 +0100
Subject: netlists-builders: relax assertion.  Fix #1099

---
 src/synth/netlists-builders.adb | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/synth/netlists-builders.adb')

diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb
index 0174c8388..9db99a20e 100644
--- a/src/synth/netlists-builders.adb
+++ b/src/synth/netlists-builders.adb
@@ -1247,7 +1247,6 @@ package body Netlists.Builders is
    function Build_Port (Ctxt : Context_Acc; N : Net) return Net
    is
       Wd : constant Width := Get_Width (N);
-      pragma Assert (Wd /= No_Width);
       Inst : Instance;
       O : Net;
    begin
-- 
cgit v1.2.3