From 9462ac5348ec4207040ba97f4935697f7ead952d Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Thu, 16 Jan 2020 14:22:59 -0700
Subject: [PATCH] Pad output file names to a uniform length appropriate for
 unsigned integers.

---
 MCMC-Laplace/mcmc-laplace.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MCMC-Laplace/mcmc-laplace.cc b/MCMC-Laplace/mcmc-laplace.cc
index a390ceb..5a6633f 100644
--- a/MCMC-Laplace/mcmc-laplace.cc
+++ b/MCMC-Laplace/mcmc-laplace.cc
@@ -745,7 +745,7 @@ int main()
   MultithreadInfo::set_thread_limit(1);
 
   const unsigned int random_seed  = (testing ? 1U : std::random_device()());
-  const std::string  dataset_name = std::to_string(random_seed);
+  const std::string  dataset_name = Utilities::to_string(random_seed, 10);
 
   const Vector<double> exact_solution(
     {   0.06076511762259369, 0.09601910120848481, 
-- 
2.39.5