From 4c4f4ea7696d30550b573d571407a4490571d1dd Mon Sep 17 00:00:00 2001 From: Tristan Gingold <tgingold@free.fr> Date: Sat, 28 Mar 2020 09:05:38 +0100 Subject: synth: remove useless note message. --- src/synth/netlists-memories.adb | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/synth') diff --git a/src/synth/netlists-memories.adb b/src/synth/netlists-memories.adb index d7ec4d8d3..f361bfea9 100644 --- a/src/synth/netlists-memories.adb +++ b/src/synth/netlists-memories.adb @@ -713,8 +713,11 @@ package body Netlists.Memories is | Id_Const_Bit => return Inst; when others => - Info_Msg_Synth - (+Last, "gate %i cannot be part of a memory", (1 => +Last)); + if False then + Info_Msg_Synth + (+Last, "gate %i cannot be part of a memory", + (1 => +Last)); + end if; return No_Instance; end case; end loop; -- cgit v1.2.3