1 files changed, 6 insertions, 2 deletions
diff --git a/src/synth/netlists.adb b/src/synth/netlists.adb
index 5ea2b9b90..3a5b0b3dd 100644
--- a/src/synth/netlists.adb
+++ b/src/synth/netlists.adb
@@ -721,6 +721,12 @@ package body Netlists is
       return Instances_Table.Table (Inst).Name;
    end Get_Instance_Name;
 
+   procedure Set_Instance_Name (Inst : Instance; Name : Sname) is
+   begin
+      pragma Assert (Is_Valid (Inst));
+      Instances_Table.Table (Inst).Name := Name;
+   end Set_Instance_Name;
+
    function Get_Instance_Parent (Inst : Instance) return Module is
    begin
       pragma Assert (Is_Valid (Inst));
@@ -878,7 +884,6 @@ package body Netlists is
       pragma Assert (I < Get_Nbr_Inputs (M));
       Idx : constant Port_Desc_Idx := F + Port_Desc_Idx (I);
    begin
-      pragma Assert (Get_Port_Desc (Idx).Name = No_Sname);
       Set_Port_Desc (Idx, Desc);
    end Set_Input_Desc;
 
@@ -888,7 +893,6 @@ package body Netlists is
       pragma Assert (O < Get_Nbr_Outputs (M));
       Idx : constant Port_Desc_Idx := F + Port_Desc_Idx (O);
    begin
-      pragma Assert (Get_Port_Desc (Idx).Name = No_Sname);
       Set_Port_Desc (Idx, Desc);
    end Set_Output_Desc;