[#1147] Add space

diff --git a/src/lib/util/readwrite_mutex.h b/src/lib/util/readwrite_mutex.h
index a76c86fb6938624be895c24db7400e1209826155..f8766d5af42f2cd9e52c3681b9ca8723ca7d8a99 100644 (file)
--- 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.