From 3419f2e2fdd7af54ed233f9cb4fdca8905c842b9 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 22 Jan 2020 17:08:10 -0700 Subject: [PATCH] Clarify when we actually call to std::to_string. --- include/deal.II/base/utilities.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 std::string -- 2.39.5