diff options
Diffstat (limited to 'spec/rtems/intr/if/server-delete.yml')
| -rw-r--r-- | spec/rtems/intr/if/server-delete.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/intr/if/server-delete.yml b/spec/rtems/intr/if/server-delete.yml index 4c438367..07f9ea5d 100644 --- a/spec/rtems/intr/if/server-delete.yml +++ b/spec/rtems/intr/if/server-delete.yml @@ -21,13 +21,13 @@ links: - role: interface-ingroup uid: group - role: constraint + uid: /constraint/directive-not-pre-qualified +- role: constraint uid: /constraint/directive-ctx-task - role: constraint uid: ../constraint/not-within-server - role: constraint uid: /constraint/request-response -- role: constraint - uid: /constraint/directive-not-pre-qualified name: rtems_interrupt_server_delete notes: | The interrupt server deletes itself, so after the return of the directive the |