From ea992b467b9f3c892ae87267ba908e97d532b1b2 Mon Sep 17 00:00:00 2001
From: Nicholas Westlake <n.westlake@bath.ac.uk>
Date: Tue, 12 Apr 2016 23:38:09 +0100
Subject: [PATCH] Change std::uint64_t to uint64_t (#354)

-This fixes compile errors with default setup on RHEL 6 systems.
---
 db/recovery_test.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/db/recovery_test.cc b/db/recovery_test.cc
index e0d0bf8..9596f42 100644
--- a/db/recovery_test.cc
+++ b/db/recovery_test.cc
@@ -104,10 +104,10 @@ class RecoveryTest {
     return GetFiles(kLogFile)[0];
   }
 
-  std::vector<std::uint64_t> GetFiles(FileType t) {
+  std::vector<uint64_t> GetFiles(FileType t) {
     std::vector<std::string> filenames;
     ASSERT_OK(env_->GetChildren(dbname_, &filenames));
-    std::vector<std::uint64_t> result;
+    std::vector<uint64_t> result;
     for (size_t i = 0; i < filenames.size(); i++) {
       uint64_t number;
       FileType type;