aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-03-09 20:41:16 +0100
committerTristan Gingold <tgingold@free.fr>2020-03-09 20:41:16 +0100
commit7e0dd7e8c24a2a772d921737bd8ca1cd406ad411 (patch)
tree1d12c639dfdefd7b54fef072728384074d120077 /src/synth
parent006ccf510a1fa517950c890de2c7c4dbef0d752e (diff)
downloadghdl-7e0dd7e8c24a2a772d921737bd8ca1cd406ad411.tar.gz
ghdl-7e0dd7e8c24a2a772d921737bd8ca1cd406ad411.tar.bz2
ghdl-7e0dd7e8c24a2a772d921737bd8ca1cd406ad411.zip
netlists: allow empty net for build_mux4
Diffstat (limited to 'src/synth')
-rw-r--r--src/synth/netlists-builders.adb1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb
index 5d3b025d3..99a7563fe 100644
--- a/src/synth/netlists-builders.adb
+++ b/src/synth/netlists-builders.adb
@@ -941,7 +941,6 @@ package body Netlists.Builders is
I0, I1, I2, I3 : Net) return Net
is
Wd : constant Width := Get_Width (I0);
- pragma Assert (Wd /= No_Width);
pragma Assert (Get_Width (I1) = Wd);
pragma Assert (Get_Width (I2) = Wd);
pragma Assert (Get_Width (I3) = Wd);