diff options
| author | James Munns <[email protected]> | 2025-04-01 14:11:42 +0200 |
|---|---|---|
| committer | James Munns <[email protected]> | 2025-04-01 14:11:42 +0200 |
| commit | 84cd416bed6a80d0fab4433c26ada9b16495b4c1 (patch) | |
| tree | 07fdc6382bd2f5254657f091ca2dd604de5d7122 /embassy-executor | |
| parent | 882e2180a4ec7f448ea4ddaccf2a65e6757654c7 (diff) | |
Finish trailing sentence
Diffstat (limited to 'embassy-executor')
| -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 57222d60b..efb74b3d2 100644 --- a/embassy-executor/src/raw/trace.rs +++ b/embassy-executor/src/raw/trace.rs | |||
| @@ -139,7 +139,7 @@ extern "Rust" { | |||
| 139 | /// have been processed. This will always be paired with a call to | 139 | /// have been processed. This will always be paired with a call to |
| 140 | /// `_embassy_trace_executor_idle`. | 140 | /// `_embassy_trace_executor_idle`. |
| 141 | /// | 141 | /// |
| 142 | /// This marks the EXECUTOR state transition from | 142 | /// This marks the EXECUTOR state transition from SCHEDULING -> IDLE |
| 143 | fn _embassy_trace_executor_idle(executor_id: u32); | 143 | fn _embassy_trace_executor_idle(executor_id: u32); |
| 144 | } | 144 | } |
| 145 | 145 | ||