aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-nodes.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-04-13 19:55:20 +0200
committerTristan Gingold <tgingold@free.fr>2021-04-13 19:55:20 +0200
commiteb4fc9db48e74b410732cb50005425fbb2fb0aeb (patch)
tree16fdb9a89ef91e0eaf49c8b45bfb2177887b6e3d /src/psl/psl-nodes.adb
parent654702a29e707a78bce9c1a2ccd724920a4d8ca5 (diff)
downloadghdl-eb4fc9db48e74b410732cb50005425fbb2fb0aeb.tar.gz
ghdl-eb4fc9db48e74b410732cb50005425fbb2fb0aeb.tar.bz2
ghdl-eb4fc9db48e74b410732cb50005425fbb2fb0aeb.zip
psl: suffix implication are properties (for simple subset). For #1721
Diffstat (limited to 'src/psl/psl-nodes.adb')
-rw-r--r--src/psl/psl-nodes.adb4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb
index 59ddd91da..6d392150b 100644
--- a/src/psl/psl-nodes.adb
+++ b/src/psl/psl-nodes.adb
@@ -339,6 +339,8 @@ package body PSL.Nodes is
| N_Paren_Prop
| N_Log_Imp_Prop
| N_Log_Equiv_Prop
+ | N_Overlap_Imp_Seq
+ | N_Imp_Seq
| N_Always
| N_Never
| N_Eventually
@@ -360,8 +362,6 @@ package body PSL.Nodes is
| N_Fusion_SERE
| N_Within_SERE
| N_Clocked_SERE
- | N_Overlap_Imp_Seq
- | N_Imp_Seq
| N_And_Seq
| N_Or_Seq
| N_Match_And_Seq