From ff1ef30e8d370f89294e2d6e82fb1a15cdcd519c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 10 Sep 2022 09:47:02 +0200
Subject: synth: fix and add checks for memory management.

---
 src/areapools.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/areapools.ads')

diff --git a/src/areapools.ads b/src/areapools.ads
index f1e4276c9..026bb0483 100644
--- a/src/areapools.ads
+++ b/src/areapools.ads
@@ -49,6 +49,10 @@ package Areapools is
    procedure Release (M : Mark_Type;
                       Pool : in out Areapool);
 
+   --  Return True iff POOL is at the mark level (ie, calling Relase will be
+   --  a no-op).
+   function Is_At_Mark (Pool : Areapool; M : Mark_Type) return Boolean;
+
    Empty_Marker : constant Mark_Type;
 private
    --  Minimal size of allocation.
-- 
cgit v1.2.3