diff options
Diffstat (limited to 'docs/users_guide/eventlog-formats.rst')
| -rw-r--r-- | docs/users_guide/eventlog-formats.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/eventlog-formats.rst b/docs/users_guide/eventlog-formats.rst index f21d45fb6b..9be662d058 100644 --- a/docs/users_guide/eventlog-formats.rst +++ b/docs/users_guide/eventlog-formats.rst @@ -194,7 +194,7 @@ Thread and scheduling events :field ThreadId: thread id :field CapNo: other capability - The indicated thread has been been woken up on another capability. + The indicated thread has been woken up on another capability. .. event-type:: THREAD_LABEL |