EventQueue documentation fix.

pull/8464/head
Jaakko Korhonen 2018-10-18 11:21:58 +03:00 committed by GitHub
parent 515db95061
commit 0d278e7cee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -75,7 +75,7 @@ events::EventQueue *mbed_event_queue();
* @note
* mbed_highprio_event_queue is not itself IRQ safe. To use the
* mbed_highprio_event_queue in interrupt context, you must first call
* `mbed_event_queue()` in threaded context and store the pointer for
* `mbed_highprio_event_queue()` in threaded context and store the pointer for
* later use.
*
* @return pointer to high-priority event queue