diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-12-07 20:22:38 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-12-07 20:22:38 +0100 |
| commit | 9ac2a43a5b5611e63fb27334814360d43e64cff2 (patch) | |
| tree | c902d1d147f81a36fc80fa38c982579f98e9c00f /src/psl | |
| parent | 674246f8351f5e59d3b048e777053f2903f12ea8 (diff) | |
| download | ghdl-9ac2a43a5b5611e63fb27334814360d43e64cff2.tar.gz ghdl-9ac2a43a5b5611e63fb27334814360d43e64cff2.tar.bz2 ghdl-9ac2a43a5b5611e63fb27334814360d43e64cff2.zip | |
psl-build.adb: handle sync_abort. Fix #2266
Diffstat (limited to 'src/psl')
| -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; |