From 14ca9272bdf9a6a33944e92d4eac0dfea79634ee Mon Sep 17 00:00:00 2001
From: Ondrej Ille <ondrej.ille@gmail.com>
Date: Fri, 26 Mar 2021 21:56:25 +0100
Subject: psl, vhdl: Extend semantic pass for PSL to allow "assert never
 <Sequence>" with suffixed repetition operator without surrounding sequence
 braces.

---
 src/psl/psl-rewrites.adb | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/psl/psl-rewrites.adb')

diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb
index ad71ccd74..be9477088 100644
--- a/src/psl/psl-rewrites.adb
+++ b/src/psl/psl-rewrites.adb
@@ -502,6 +502,7 @@ package body PSL.Rewrites is
       case Get_Kind (N) is
          when N_Star_Repeat_Seq
            | N_Plus_Repeat_Seq
+           | N_Equal_Repeat_Seq
            | N_Goto_Repeat_Seq
            | N_Sequence_Instance
            | N_Endpoint_Instance
-- 
cgit v1.2.3