From 804e222c51f2c57422845d39b6bce601a71d8571 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 19 Mar 2020 18:19:50 +0100 Subject: netlists-builders: allow null net for all dffs. Fix #1162 --- src/synth/netlists-builders.adb | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/synth') 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; -- cgit v1.2.3