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