From 7a53e87adfd64bbe00c8267ee54aa1b0c105a4fd Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 26 Mar 2021 18:43:07 +0100
Subject: psl-subsets.adb: allow optionnal sequence to plus repeat. Fix #1698

---
 src/psl/psl-subsets.adb | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb
index 699a459cd..ee3b5b538 100644
--- a/src/psl/psl-subsets.adb
+++ b/src/psl/psl-subsets.adb
@@ -130,7 +130,8 @@ package body PSL.Subsets is
             null;
          when N_Star_Repeat_Seq
             | N_Goto_Repeat_Seq
-            | N_Equal_Repeat_Seq =>
+            | N_Equal_Repeat_Seq
+            | N_Plus_Repeat_Seq =>
             declare
                N2 : constant Node := Get_Sequence (N);
             begin
@@ -138,8 +139,6 @@ package body PSL.Subsets is
                   Check_Simple (N2);
                end if;
             end;
-         when N_Plus_Repeat_Seq =>
-            Check_Simple (Get_Sequence (N));
          when N_Match_And_Seq
             | N_And_Seq
             | N_Or_Seq =>
-- 
cgit v1.2.3