From 09192336035599d542d3a6bc149a7b477bb68ed3 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 30 Aug 2021 21:36:05 +0200
Subject: trans-chap9.adb: handle async_abort, sync_abort.  Fix #1654

---
 src/psl/psl-subsets.ads | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/psl/psl-subsets.ads')

diff --git a/src/psl/psl-subsets.ads b/src/psl/psl-subsets.ads
index 50aeba6d4..472c4579b 100644
--- a/src/psl/psl-subsets.ads
+++ b/src/psl/psl-subsets.ads
@@ -36,4 +36,9 @@ package PSL.Subsets is
    --  All other operators not mentioned above are supported in the simple
    --  subset without restriction.
    procedure Check_Simple (N : Node);
+
+   --  Return True iff N is an async abort.
+   --  True for N_Async_Abort, False for N_Sync_Abort.
+   --  Here we also decide for N_Abort.
+   function Is_Async_Abort (N : Node) return Boolean;
 end PSL.Subsets;
-- 
cgit v1.2.3