diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-08-30 08:12:26 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-08-30 08:12:26 +0200 |
| commit | 852f4310b717765360f5d3bf575d40af5769f70d (patch) | |
| tree | d3ea3da1d6152b6a14ca71f24cc8f03139dc3101 /src/psl/psl-subsets.adb | |
| parent | 7b0195b5e706502a1d564f31867b02bf2a8a27bb (diff) | |
| download | ghdl-852f4310b717765360f5d3bf575d40af5769f70d.tar.gz ghdl-852f4310b717765360f5d3bf575d40af5769f70d.tar.bz2 ghdl-852f4310b717765360f5d3bf575d40af5769f70d.zip | |
vhdl and psl: parse sync_abort and async_abort. For #1654
Diffstat (limited to 'src/psl/psl-subsets.adb')
| -rw-r--r-- | src/psl/psl-subsets.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb index 303d01c1e..9ff16a6ff 100644 --- a/src/psl/psl-subsets.adb +++ b/src/psl/psl-subsets.adb @@ -168,7 +168,9 @@ package body PSL.Subsets is when N_Next_Event | N_Next_Event_A | N_Next_Event_E - | N_Abort => + | N_Abort + | N_Async_Abort + | N_Sync_Abort => Check_Simple (Get_Boolean (N)); Check_Simple (Get_Property (N)); when N_Not_Bool |