diff options
Diffstat (limited to 'src/psl/psl-nodes.adb.in')
| -rw-r--r-- | src/psl/psl-nodes.adb.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.adb.in b/src/psl/psl-nodes.adb.in index 0ab97b572..220ffee71 100644 --- a/src/psl/psl-nodes.adb.in +++ b/src/psl/psl-nodes.adb.in @@ -346,6 +346,7 @@ package body PSL.Nodes is | N_Concat_SERE | N_Fusion_SERE | N_Within_SERE + | N_Clocked_SERE | N_Overlap_Imp_Seq | N_Imp_Seq | N_And_Seq |