From 39be5d19ac1d17f300431d1e65e8ce367b738ea9 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Michal=20Mal=C3=BD?= Date: Mon, 24 Nov 2014 15:07:01 +0100 Subject: [PATCH] Make Auto_Lock limited --- src/problem_generators/problem_generator.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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; -- 2.43.5