aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/synth/netlists-builders.adb2
-rw-r--r--src/synth/netlists-disp_vhdl.adb1
2 files changed, 0 insertions, 3 deletions
diff --git a/src/synth/netlists-builders.adb b/src/synth/netlists-builders.adb
index a764cad1a..48ebe51c2 100644
--- a/src/synth/netlists-builders.adb
+++ b/src/synth/netlists-builders.adb
@@ -858,7 +858,6 @@ package body Netlists.Builders is
I0, I1 : Net) return Net
is
Wd : constant Width := Get_Width (I1);
- pragma Assert (Wd /= No_Width);
pragma Assert (I0 = No_Net or else Get_Width (I0) = Wd);
pragma Assert (Get_Width (Sel) = 1);
Inst : Instance;
@@ -1223,7 +1222,6 @@ package body Netlists.Builders is
D : 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;
diff --git a/src/synth/netlists-disp_vhdl.adb b/src/synth/netlists-disp_vhdl.adb
index f673a69de..992f0bf5e 100644
--- a/src/synth/netlists-disp_vhdl.adb
+++ b/src/synth/netlists-disp_vhdl.adb
@@ -1007,7 +1007,6 @@ package body Netlists.Disp_Vhdl is
Ow : constant Width := Get_Width (Get_Output (Inst, 0));
Iw : constant Width := Get_Width (Get_Input_Net (Inst, 0));
begin
- pragma Assert (Iw > 0);
pragma Assert (Ow > Iw);
Disp_Template (" \o0 <= """, Inst);
Put ((1 .. Natural (Ow - Iw) => '0'));