From 8bac67c8a2f02090389e7e14d385f8b7fc2b00e6 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 7 Mar 2020 18:34:01 +0100
Subject: netlists-builders: handle null operands for dyadic operations.

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

(limited to 'src')

diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb
index 3110855e9..5d3b025d3 100644
--- a/src/synth/netlists-builders.adb
+++ b/src/synth/netlists-builders.adb
@@ -725,7 +725,6 @@ package body Netlists.Builders is
                           L, R : Net) return Net
    is
       Wd : constant Width := Get_Width (L);
-      pragma Assert (Wd /= No_Width);
       pragma Assert (Get_Width (R) = Wd);
       pragma Assert (Ctxt.M_Dyadic (Id) /= No_Module);
       Inst : Instance;
-- 
cgit v1.2.3