From c689f6ad051c6a17ade3fb2d50f9383095321cf2 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 6 Aug 2020 22:01:55 +0200
Subject: netlists: preliminary support of memory of depth one.

---
 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 7e8f7b3f7..43c19c25f 100644
--- a/src/synth/netlists-builders.adb
+++ b/src/synth/netlists-builders.adb
@@ -1217,8 +1217,6 @@ package body Netlists.Builders is
    is
       Wl : constant Width := Get_Width (L);
       Wr : constant Width := Get_Width (R);
-      pragma Assert (Wl > 0);
-      pragma Assert (Wr > 0);
       Inst : Instance;
       O : Net;
    begin
-- 
cgit v1.2.3