diff options
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; |