diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/vhdl/vhdl-sem_psl.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index a5b69fb1c..136784b8b 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -470,6 +470,11 @@ package body Vhdl.Sem_Psl is Sem_Boolean (Prop); Sem_Property (Prop); return Prop; + when N_Next_Event_A | N_Next_Event_E => + -- FIXME: range. + Sem_Boolean (Prop); + Sem_Property (Prop); + return Prop; when N_HDL_Expr => Res := Sem_Hdl_Expr (Prop); if not Top and then Get_Kind (Res) = N_Property_Instance then |