From e67c26bee4f044cf16e7233164c6cf58c4422722 Mon Sep 17 00:00:00 2001
From: Kaveh Vahedipour <kaveh@arangodb.com>
Date: Fri, 19 May 2017 15:29:15 +0200
Subject: [PATCH] more robust random seeding

---
 lib/Random/RandomGenerator.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/Random/RandomGenerator.cpp b/lib/Random/RandomGenerator.cpp
index 3f0e704beb..c6262bddf8 100644
--- a/lib/Random/RandomGenerator.cpp
+++ b/lib/Random/RandomGenerator.cpp
@@ -55,7 +55,6 @@ unsigned long RandomDevice::seed() {
     std::this_thread::yield();
     std::this_thread::sleep_for(std::chrono::microseconds(1));
   }
-
   auto now = duration_cast<std::chrono::microseconds>(
     std::chrono::high_resolution_clock::now().time_since_epoch()).count();