| 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();
 | 
|  }
 | 
|  
 | 
|  
 | 
| 
 |