diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-03-26 18:43:07 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-03-27 08:46:31 +0100 |
| commit | 7a53e87adfd64bbe00c8267ee54aa1b0c105a4fd (patch) | |
| tree | 4a5d49730ba1750379e8c0d6d1dfd7bfb4e3512f /src/psl/psl-subsets.adb | |
| parent | f23949f3eda545ff0c3ca1c49037b9a83700b099 (diff) | |
| download | ghdl-7a53e87adfd64bbe00c8267ee54aa1b0c105a4fd.tar.gz ghdl-7a53e87adfd64bbe00c8267ee54aa1b0c105a4fd.tar.bz2 ghdl-7a53e87adfd64bbe00c8267ee54aa1b0c105a4fd.zip | |
psl-subsets.adb: allow optionnal sequence to plus repeat. Fix #1698
Diffstat (limited to 'src/psl/psl-subsets.adb')
| -rw-r--r-- | src/psl/psl-subsets.adb | 5 |
1 files 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 => |