Index: src/platform-openbsd.cc |
diff --git a/src/platform-openbsd.cc b/src/platform-openbsd.cc |
index 47716718f260f5796ac16f82f5007bb9f7dd58fd..e59160109f0fbfc7c6ab0b6fd6b088ae0bc3dd1f 100644 |
--- a/src/platform-openbsd.cc |
+++ b/src/platform-openbsd.cc |
@@ -502,7 +502,7 @@ void OS::SetUp() { |
// Seed the random number generator. We preserve microsecond resolution. |
uint64_t seed = Ticks() ^ (getpid() << 16); |
srandom(static_cast<unsigned int>(seed)); |
- limit_mutex = new Mutex; |
+ limit_mutex = CreateMutex(); |
} |