Fix variable name in documentation sample (#13391)

This commit is contained in:
mnordine 2022-11-01 08:49:13 -03:00 committed by GitHub
parent ddb9eac05c
commit 2943df016e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,7 +13,7 @@
//! defer m.unlock();
//!
//! while (!predicate) {
//! c.wait(&mutex);
//! c.wait(&m);
//! }
//! }
//!