diff options
| author | James Munns <[email protected]> | 2025-04-01 14:27:32 +0200 |
|---|---|---|
| committer | James Munns <[email protected]> | 2025-04-01 14:27:32 +0200 |
| commit | 3e25a7be8670f06d577ebf011dc41e3c4752db95 (patch) | |
| tree | 1eb33eeef72ca4d78c37c4e94fbc10c69b41bb37 | |
| parent | c3efb85b85eece9f706d232888e0fb70ee1270e4 (diff) | |
Small grammar fixes
| -rw-r--r-- | embassy-executor/src/raw/trace.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/embassy-executor/src/raw/trace.rs b/embassy-executor/src/raw/trace.rs index 56724b0bb..5480e77b9 100644 --- a/embassy-executor/src/raw/trace.rs +++ b/embassy-executor/src/raw/trace.rs | |||
| @@ -14,7 +14,7 @@ | |||
| 14 | //! at any time. | 14 | //! at any time. |
| 15 | //! | 15 | //! |
| 16 | //! IDs are only guaranteed to be unique for the duration of time the item is valid. If a task | 16 | //! IDs are only guaranteed to be unique for the duration of time the item is valid. If a task |
| 17 | //! ends, and is respond, it MAY or MAY NOT have the same ID. For tasks, this time is defined | 17 | //! ends, and is re-spawned, it MAY or MAY NOT have the same ID. For tasks, this valid time is defined |
| 18 | //! as the time between `_embassy_trace_task_new` and `_embassy_trace_task_end` for a given task. | 18 | //! as the time between `_embassy_trace_task_new` and `_embassy_trace_task_end` for a given task. |
| 19 | //! For executors, this time is not defined, but is often "forever" for practical embedded | 19 | //! For executors, this time is not defined, but is often "forever" for practical embedded |
| 20 | //! programs. | 20 | //! programs. |