diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-05-24 18:19:33 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-05-24 18:19:33 +0200 |
| commit | 5c5987d671ed390b0965c95f5744d86356a02ddf (patch) | |
| tree | 1fbc0182827b1ed826fb8d015501a463d12050a0 /src/psl/psl-subsets.adb | |
| parent | bfa8052b491367f8d10f98878343a7002f26f0cc (diff) | |
| download | ghdl-5c5987d671ed390b0965c95f5744d86356a02ddf.tar.gz ghdl-5c5987d671ed390b0965c95f5744d86356a02ddf.tar.bz2 ghdl-5c5987d671ed390b0965c95f5744d86356a02ddf.zip | |
psl: can keep parenthesis during parse.
Diffstat (limited to 'src/psl/psl-subsets.adb')
| -rw-r--r-- | src/psl/psl-subsets.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb index 8aaf2b063..95f8d781c 100644 --- a/src/psl/psl-subsets.adb +++ b/src/psl/psl-subsets.adb @@ -163,7 +163,8 @@ package body PSL.Subsets is Check_Simple (Get_Right (N)); when N_Next | N_Next_A - | N_Next_E => + | N_Next_E + | N_Paren_Prop => Check_Simple (Get_Property (N)); when N_Next_Event | N_Next_Event_A @@ -171,7 +172,8 @@ package body PSL.Subsets is | N_Abort => Check_Simple (Get_Boolean (N)); Check_Simple (Get_Property (N)); - when N_Not_Bool => + when N_Not_Bool + | N_Paren_Bool => Check_Simple (Get_Boolean (N)); when N_Const_Parameter | N_Sequence_Parameter |