diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-01-12 20:52:36 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-01-12 20:52:36 +0100 |
| commit | 9b6efb7a8f978124ec14767230dd652b144f0d5e (patch) | |
| tree | 8c9b4c2fae394eb82a47686af63d693236210406 /src | |
| parent | 7edcbcf55bddbe4dcc9ae752a89bdbb7dba6cf0d (diff) | |
| download | ghdl-9b6efb7a8f978124ec14767230dd652b144f0d5e.tar.gz ghdl-9b6efb7a8f978124ec14767230dd652b144f0d5e.tar.bz2 ghdl-9b6efb7a8f978124ec14767230dd652b144f0d5e.zip | |
netlists-builders: allow more gates with null bus. For #1080
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/netlists-builders.adb | 2 |
1 files changed, 0 insertions, 2 deletions
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; |