From 9b6efb7a8f978124ec14767230dd652b144f0d5e Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 12 Jan 2020 20:52:36 +0100
Subject: netlists-builders: allow more gates with null bus.  For #1080

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

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

diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb
index fc5f8b5b1..0174c8388 100644
--- a/src/synth/netlists-builders.adb
+++ b/src/synth/netlists-builders.adb
@@ -1234,7 +1234,6 @@ package body Netlists.Builders is
                           return Net
    is
       Wd : constant Width := Get_Width (Init);
-      pragma Assert (Wd /= No_Width);
       Inst : Instance;
       O : Net;
    begin
@@ -1282,7 +1281,6 @@ package body Netlists.Builders is
                         Init : Net) return Net
    is
       Wd : constant Width := Get_Width (Init);
-      pragma Assert (Wd /= No_Width);
       pragma Assert (D = No_Net or else Get_Width (D) = Wd);
       pragma Assert (Get_Width (Clk) = 1);
       Inst : Instance;
-- 
cgit v1.2.3