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.