diff options
Diffstat (limited to 'src/vhdl/vhdl-sem_psl.adb')
| -rw-r--r-- | src/vhdl/vhdl-sem_psl.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index 2a5b91aa4..51fcc8766 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -543,7 +543,9 @@ package body Vhdl.Sem_Psl is Error_Msg_Sem (+Prop, "inner clock event not supported"); end if; return Prop; - when N_Abort => + when N_Abort + | N_Async_Abort + | N_Sync_Abort => Sem_Property (Prop); Sem_Boolean (Prop); return Prop; |