From 9ac2a43a5b5611e63fb27334814360d43e64cff2 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 7 Dec 2022 20:22:38 +0100 Subject: psl-build.adb: handle sync_abort. Fix #2266 --- src/psl/psl-build.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/psl/psl-build.adb b/src/psl/psl-build.adb index c9ae68d80..704920303 100644 --- a/src/psl/psl-build.adb +++ b/src/psl/psl-build.adb @@ -1018,7 +1018,8 @@ package body PSL.Build is when N_Always => R := Build_Property_FA (Get_Property (N), With_Active); return Build_Initial_Rep (R); - when N_Abort => + when N_Abort + | N_Sync_Abort => R := Build_Property_FA (Get_Property (N), With_Active); Build_Abort (R, Get_Boolean (N)); return R; -- cgit v1.2.3