diff --git a/dune/common/mallocallocator.hh b/dune/common/mallocallocator.hh index 5d118aeb6e1efee7217a13531b489310fa4f5b18..3a2a7fbd7d738bf6c882d3e1c892de729804bc23 100644 --- a/dune/common/mallocallocator.hh +++ b/dune/common/mallocallocator.hh @@ -7,6 +7,10 @@ #include <cstdlib> #include <new> +/** + * @file + * @brief Allocators that use malloc/free. + */ namespace Dune { /**