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 ee8f401a702f24ab3984f74921afc9fd2edcd5fc..7dbb309b0ee3568586ffdf24476fb1a684d326e7 100644 (file)
--- 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