aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/synth/netlists-memories.adb4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/synth/netlists-memories.adb b/src/synth/netlists-memories.adb
index 9fad98862..704c96e8b 100644
--- a/src/synth/netlists-memories.adb
+++ b/src/synth/netlists-memories.adb
@@ -201,8 +201,8 @@ package body Netlists.Memories is
return;
end if;
when Id_Dyn_Insert
- | Id_Dyn_Insert_En
- | Id_Mux2 =>
+ | Id_Dyn_Insert_En
+ | Id_Mux2 =>
-- Probably a writer.
-- FIXME: check it has already been by writes.
null;