From c16b1428ade6fb56d285767c1e7774454c800e54 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 30 Jan 2023 18:27:15 +0100
Subject: netlists-rename: add comments

---
 src/synth/netlists-rename.adb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/synth/netlists-rename.adb b/src/synth/netlists-rename.adb
index 7b0c8e5f9..0ad0bc9a5 100644
--- a/src/synth/netlists-rename.adb
+++ b/src/synth/netlists-rename.adb
@@ -31,9 +31,11 @@ package body Netlists.Rename is
       Res : String (1 .. 12);
       Len : Positive;
    begin
+      --  Only user names can clash.
       if Get_Sname_Kind (Name) /= Sname_User then
          return Name;
       end if;
+      --  If prefixed, it cannot clash with a reserved identifier.
       if Get_Sname_Prefix (Name) /= No_Sname then
          return Name;
       end if;
-- 
cgit v1.2.3