From 149f9e94d43f355ec91592afb3936ddde110a109 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 18 May 2020 08:16:07 +0200 Subject: vhdl-sem_psl: handle equal/goto repeat seq. Fix #1321 --- src/vhdl/vhdl-sem_psl.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb index 136784b8b..c97f7a009 100644 --- a/src/vhdl/vhdl-sem_psl.adb +++ b/src/vhdl/vhdl-sem_psl.adb @@ -315,7 +315,9 @@ package body Vhdl.Sem_Psl is R := Sem_Sequence (Get_Right (Seq)); Set_Right (Seq, R); return Seq; - when N_Star_Repeat_Seq => + when N_Star_Repeat_Seq + | N_Equal_Repeat_Seq + | N_Goto_Repeat_Seq => Res := Get_Sequence (Seq); if Res /= Null_PSL_Node then Res := Sem_Sequence (Get_Sequence (Seq)); -- cgit v1.2.3