From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Thu, 23 Jan 2020 00:08:10 +0000 (-0700)
Subject: Clarify when we actually call to std::to_string.
X-Git-Tag: v9.2.0-rc1~608^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3419f2e2fdd7af54ed233f9cb4fdca8905c842b9;p=dealii.git

Clarify when we actually call to std::to_string.
---

diff --git a/include/deal.II/base/utilities.h b/include/deal.II/base/utilities.h
index ee8f401a70..7dbb309b0e 100644
--- a/include/deal.II/base/utilities.h
+++ b/include/deal.II/base/utilities.h
@@ -204,7 +204,8 @@ namespace Utilities
    *
    * If the second parameter is left at its default value, the number is not
    * padded with leading zeros. The result is then the same as if the C++
-   * function `std::to_string()` had been called.
+   * function `std::to_string()` had been called (for integral types),
+   * or if `boost::lexical_cast()` had been called (for all other types).
    */
   template <typename number>
   std::string