diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-03-19 18:19:50 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-03-19 18:19:50 +0100 |
| commit | 804e222c51f2c57422845d39b6bce601a71d8571 (patch) | |
| tree | b221637ed1c8ea881d9e9b0e0562364dc4b74505 /src/synth/netlists-builders.adb | |
| parent | 7a6ab8c14858a09b87be025e267eff5192e99c08 (diff) | |
| download | ghdl-804e222c51f2c57422845d39b6bce601a71d8571.tar.gz ghdl-804e222c51f2c57422845d39b6bce601a71d8571.tar.bz2 ghdl-804e222c51f2c57422845d39b6bce601a71d8571.zip | |
netlists-builders: allow null net for all dffs. Fix #1162
Diffstat (limited to 'src/synth/netlists-builders.adb')
| -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 812679ef1..0e7f16815 100644 --- a/src/synth/netlists-builders.adb +++ b/src/synth/netlists-builders.adb @@ -1337,7 +1337,6 @@ package body Netlists.Builders is Rst : Net; Rst_Val : Net) return Net is Wd : constant Width := Get_Width (D); - pragma Assert (Wd /= No_Width); pragma Assert (Get_Width (Clk) = 1); Inst : Instance; O : Net; @@ -1358,7 +1357,6 @@ package body Netlists.Builders is Rst : Net; Rst_Val : Net; Init : Net) return Net is Wd : constant Width := Get_Width (D); - pragma Assert (Wd /= No_Width); pragma Assert (Get_Width (Clk) = 1); Inst : Instance; O : Net; |