diff --git a/book/en/src/by-example/resources.md b/book/en/src/by-example/resources.md index c34efc9ac0..14a02dee6a 100644 --- a/book/en/src/by-example/resources.md +++ b/book/en/src/by-example/resources.md @@ -146,5 +146,5 @@ There exists two other options dealing with resources same priority never can preempt another task on the same priority this is safe. * `#[task_local]`: there must be only one task using this resource, - similar to a task local resource, but (optionally) set-up by init. + similar to a `static mut` task local resource, but (optionally) set-up by init.