diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2020-11-12 18:24:57 +0000 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2020-11-12 18:24:57 +0000 |
| commit | b0f6d60c3d9a6b6052d56caddb54d73017668206 (patch) | |
| tree | 2b3fa11bbb5dc8b454ccae0e9d97ffaea3c4caf6 /book/en/src/by-example/resources.md | |
| parent | 29b81a23d6fa47d33345164d9ca8c4f1367d7741 (diff) | |
Add static mut
Diffstat (limited to 'book/en/src/by-example/resources.md')
| -rw-r--r-- | book/en/src/by-example/resources.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/book/en/src/by-example/resources.md b/book/en/src/by-example/resources.md index c34efc9..14a02de 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. |