Make Auto_Lock limited

diff --git a/src/problem_generators/problem_generator.ads b/src/problem_generators/problem_generator.ads
index 16bafd64f460fe8f2eacc4890eced645fe01dda8..24928325480cc74fccc7acb461e1115edf9b662e 100644 (file)
--- a/src/problem_generators/problem_generator.ads
+++ b/src/problem_generators/problem_generator.ads
@@ -33,12 +33,12 @@ private
     end record;
 
   package Auto_Lock is
-    type LC is new Ada.Finalization.Controlled with private;
+    type LC is limited new Ada.Finalization.Limited_Controlled with private;
       procedure Init(This: in out LC; Mutex: Problem_Mutex_All_Access; Auto_Unlock: in Boolean := True);
       procedure Lock(This: in out LC);
       procedure Unlock(This: in out LC);
     private
-      type LC is new Ada.Finalization.Controlled with
+      type LC is limited new Ada.Finalization.Limited_Controlled with
        record
          Auto_Unlock: Boolean;
          Mutex: Problem_Mutex_All_Access;