diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-03-09 20:41:16 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-03-09 20:41:16 +0100 |
| commit | 7e0dd7e8c24a2a772d921737bd8ca1cd406ad411 (patch) | |
| tree | 1d12c639dfdefd7b54fef072728384074d120077 /src/synth/netlists-builders.adb | |
| parent | 006ccf510a1fa517950c890de2c7c4dbef0d752e (diff) | |
| download | ghdl-7e0dd7e8c24a2a772d921737bd8ca1cd406ad411.tar.gz ghdl-7e0dd7e8c24a2a772d921737bd8ca1cd406ad411.tar.bz2 ghdl-7e0dd7e8c24a2a772d921737bd8ca1cd406ad411.zip | |
netlists: allow empty net for build_mux4
Diffstat (limited to 'src/synth/netlists-builders.adb')
| -rw-r--r-- | src/synth/netlists-builders.adb | 1 |
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); |