diff options
| -rw-r--r-- | src/synth/netlists-memories.adb | 4 |
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; |