synth: synth_instance_type is now limited.

1 files changed, 2 insertions, 6 deletions

diff --git a/src/synth/synth-context.ads b/src/synth/synth-context.ads
index bf729a282..3766b57ab 100644
--- a/src/synth/synth-context.ads
+++ b/src/synth/synth-context.ads
@@ -30,13 +30,9 @@ package Synth.Context is
    --  Block_Instance_Type.
    type Objects_Array is array (Object_Slot_Type range <>) of Value_Acc;
 
-   type Synth_Instance_Type (<>) is private;
+   type Synth_Instance_Type (<>) is limited private;
    type Synth_Instance_Acc is access Synth_Instance_Type;
 
-   type Instance_Map_Array is array (Block_Instance_Id range <>)
-     of Synth_Instance_Acc;
-   type Instance_Map_Array_Acc is access Instance_Map_Array;
-
    --  The instance corresponding to the global_info.  It contains the global
    --  packages.
    Global_Instance : Synth_Instance_Acc;
@@ -99,7 +95,7 @@ package Synth.Context is
    function Create_Value_Instance (Inst : Synth_Instance_Acc)
                                   return Value_Acc;
 private
-   type Synth_Instance_Type (Max_Objs : Object_Slot_Type) is record
+   type Synth_Instance_Type (Max_Objs : Object_Slot_Type) is limited record
       --  Module which owns gates created for this instance.
       M : Module;