From: Michal Malý <madcatxster@devoid-pointer.net>
Date: Mon, 24 Nov 2014 14:07:01 +0000 (+0100)
Subject: Make Auto_Lock limited
X-Git-Url: https://gitweb.devoid-pointer.net/?a=commitdiff_plain;h=39be5d19ac1d17f300431d1e65e8ce367b738ea9;p=Nine-Q.git

Make Auto_Lock limited
---

diff --git a/src/problem_generators/problem_generator.ads b/src/problem_generators/problem_generator.ads
index 16bafd6..2492832 100644
--- 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;