diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/psl/psl-build.adb | 3 |
1 files changed, 2 insertions, 1 deletions
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; |