From d2eebab82cb4d142eee0f6be2c22425f30a87878 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 5 Dec 2019 22:33:23 +0100
Subject: netlists-memories: generate mem_rd_sync gates.

---
 src/synth/netlists-memories.ads | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/synth/netlists-memories.ads')

diff --git a/src/synth/netlists-memories.ads b/src/synth/netlists-memories.ads
index 339b2cd21..b6b487bf7 100644
--- a/src/synth/netlists-memories.ads
+++ b/src/synth/netlists-memories.ads
@@ -22,7 +22,6 @@ with Netlists.Builders; use Netlists.Builders;
 
 package Netlists.Memories is
    --  Try to convert dyn_insert/dyn_extract to memory ports.
-   procedure Extract_Memories (Ctxt : Context_Acc; M : Module);
    procedure Extract_Memories2 (Ctxt : Context_Acc; M : Module);
 
    --  Count the number of memidx in a memory address.
-- 
cgit v1.2.3