From 5d2241961dc622eafc1516db9bd49ffa6f17ce0a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 3 Apr 2021 21:58:06 +0200
Subject: psl-subsets: fix fallout of #1708

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

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

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