From 92fb780933886e36a178a0b86c61ba590602145f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 3 Jun 2022 08:31:28 +0200
Subject: areapools: avoid a crash on release with empty block

---
 src/areapools.adb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/areapools.adb b/src/areapools.adb
index dd2e38257..6b49b2d64 100644
--- a/src/areapools.adb
+++ b/src/areapools.adb
@@ -105,6 +105,7 @@ package body Areapools is
 
       if Erase_When_Released
         and then M.Last /= null
+        and then M.Next_Use /= 0
       then
          declare
             Last : Size_Type;
-- 
cgit v1.2.3