diff options
Diffstat (limited to 'src/psl/psl-nodes.ads')
-rw-r--r-- | src/psl/psl-nodes.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index c92af81dc..378212349 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -62,6 +62,8 @@ package 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, @@ -380,6 +382,8 @@ package PSL.Nodes is -- Get/Set_Boolean (Field3) -- N_Abort (Short) + -- N_Async_Abort (Short) + -- N_Sync_Abort (Short) -- -- Get/Set_Property (Field4) -- |