aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-memories.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/netlists-memories.ads')
-rw-r--r--src/synth/netlists-memories.ads1
1 files changed, 0 insertions, 1 deletions
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.