From a3edc8687d626735460aa2765197c85ffef9408a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 9 May 2020 07:53:51 +0200
Subject: vhdl-sem_psl: handle next_event_a and next_event_e.  Fix #1292

From T. Meissner.
---
 src/vhdl/vhdl-sem_psl.adb | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src')

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
-- 
cgit v1.2.3