diff options
Diffstat (limited to 'src/synth')
| -rw-r--r-- | src/synth/netlists-rename.adb | 2 |
1 files changed, 2 insertions, 0 deletions
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; |