From c1e4524a0f8a084e20a1c5fffee7ac52fbc6fc5c Mon Sep 17 00:00:00 2001 From: Francis Dupont Date: Thu, 21 May 2020 15:03:13 +0200 Subject: [PATCH] [#1147] Add space --- src/lib/util/readwrite_mutex.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/util/readwrite_mutex.h b/src/lib/util/readwrite_mutex.h index a76c86fb69..f8766d5af4 100644 --- a/src/lib/util/readwrite_mutex.h +++ b/src/lib/util/readwrite_mutex.h @@ -57,7 +57,7 @@ public: gate1_.wait(lk, [=]() { return (!writeEntered()); }); state_ |= WRITE_ENTERED; // Wait until there are no more readers. - gate2_.wait(lk, [=]() { return (readers() == 0);}); + gate2_.wait(lk, [=]() { return (readers() == 0); }); } /// @brief Unlock write.