Augment documentation of Utilities::type_to_string().

diff --git a/include/deal.II/base/utilities.h b/include/deal.II/base/utilities.h
index ff498872571701fe0cbe9cb66a9c789f7f80f300..57e8831ec129a503752f9ce02b41079ef073c1f6 100644 (file)
--- a/include/deal.II/base/utilities.h
+++ b/include/deal.II/base/utilities.h
@@ -419,6 +419,9 @@ namespace Utilities
    * In general, C++ uses mangled names to identify types. This function
    * uses boost::core::demangle to return a human readable string describing
    * the type of the variable passed as argument.
+   *
+   * While the function takes the argument `t`, it does not actually use
+   * its value but only the type of `t` for its output.
    */
   template <class T>
   std::string