diff options
Diffstat (limited to 'src/psl/psl-nodes.adb')
| -rw-r--r-- | src/psl/psl-nodes.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb index 108dfe7b2..5eb9cd5f2 100644 --- a/src/psl/psl-nodes.adb +++ b/src/psl/psl-nodes.adb @@ -353,6 +353,8 @@ package body PSL.Nodes is | N_Before | N_Until | N_Abort + | N_Async_Abort + | N_Sync_Abort | N_Strong | N_Property_Parameter | N_Property_Instance => @@ -453,6 +455,8 @@ package body PSL.Nodes is | N_Next_Event_A | N_Next_Event_E | N_Abort + | N_Async_Abort + | N_Sync_Abort | N_Until | N_Before | N_Or_Prop |