From 6617613f93e70df2e2b964f380652ea43e2bb2a5 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 3 Apr 2021 16:48:08 +0200 Subject: psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708 --- src/psl/psl-nodes_meta.adb | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/psl/psl-nodes_meta.adb') diff --git a/src/psl/psl-nodes_meta.adb b/src/psl/psl-nodes_meta.adb index 4d229b5cd..8486c177f 100644 --- a/src/psl/psl-nodes_meta.adb +++ b/src/psl/psl-nodes_meta.adb @@ -510,13 +510,13 @@ package body PSL.Nodes_Meta is Field_Low_Bound, Field_High_Bound, -- N_Goto_Repeat_Seq - Field_Sequence, + Field_Boolean, Field_Low_Bound, Field_High_Bound, -- N_Plus_Repeat_Seq Field_Sequence, -- N_Equal_Repeat_Seq - Field_Sequence, + Field_Boolean, Field_Low_Bound, Field_High_Bound, -- N_Paren_Bool @@ -1130,9 +1130,7 @@ package body PSL.Nodes_Meta is | N_Imp_Seq | N_Overlap_Imp_Seq | N_Star_Repeat_Seq - | N_Goto_Repeat_Seq - | N_Plus_Repeat_Seq - | N_Equal_Repeat_Seq => + | N_Plus_Repeat_Seq => return True; when others => return False; @@ -1224,6 +1222,8 @@ package body PSL.Nodes_Meta is | N_Next_Event_E | N_Abort | N_Clocked_SERE + | N_Goto_Repeat_Seq + | N_Equal_Repeat_Seq | N_Paren_Bool | N_Not_Bool => return True; -- cgit v1.2.3