From 84136d89bc12021df9ba96486c047209dd5098a9 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 21 Jan 2020 11:12:56 -0700
Subject: [PATCH] Use std::to_string() instead of boost lexical_cast.

---
 source/base/utilities.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/source/base/utilities.cc b/source/base/utilities.cc
index af0f9120c6..263993fba7 100644
--- a/source/base/utilities.cc
+++ b/source/base/utilities.cc
@@ -29,7 +29,6 @@
 #include <deal.II/base/utilities.h>
 
 #include <boost/iostreams/copy.hpp>
-#include <boost/lexical_cast.hpp>
 #include <boost/random.hpp>
 
 #include <algorithm>
@@ -45,6 +44,7 @@
 #include <iostream>
 #include <limits>
 #include <sstream>
+#include <string>
 
 #if defined(DEAL_II_HAVE_UNISTD_H) && defined(DEAL_II_HAVE_GETHOSTNAME)
 #  include <unistd.h>
@@ -437,7 +437,7 @@ namespace Utilities
   std::string
   to_string(const number value, const unsigned int digits)
   {
-    std::string lc_string = boost::lexical_cast<std::string>(value);
+    std::string lc_string = std::to_string(value);
 
     if (digits == numbers::invalid_unsigned_int)
       return lc_string;
-- 
2.39.5