diff --git a/dune/common/poolallocator.hh b/dune/common/poolallocator.hh index bf357e1220c1d880c9b2af33ff2bafd7e2871323..99cc19e800417e19ee3297b8da489c87189c48b3 100644 --- a/dune/common/poolallocator.hh +++ b/dune/common/poolallocator.hh @@ -314,7 +314,7 @@ namespace Dune * @brief Free objects. * * Does not call the destructor! - * @param n The number of object to free. Has to be one! + * @param n The number of objects to free. Has to be one! * @param p Pointer to the first object. */ inline void deallocate(pointer p, std::size_t n);