diff options
Diffstat (limited to 'src/psl/psl-nodes.adb.in')
| -rw-r--r-- | src/psl/psl-nodes.adb.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.adb.in b/src/psl/psl-nodes.adb.in index a644ebb71..8bbc8290f 100644 --- a/src/psl/psl-nodes.adb.in +++ b/src/psl/psl-nodes.adb.in @@ -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 => |