diff --git a/dune/common/poolallocator.hh b/dune/common/poolallocator.hh index 81485a930b6e6962cf415642b4c6e2a0f5970ce0..5c200f56aaeb9356806423cee99b78a063937913 100644 --- a/dune/common/poolallocator.hh +++ b/dune/common/poolallocator.hh @@ -76,7 +76,7 @@ namespace Dune * size of a pointer memory is wasted. * @warning Due to aligned issues at the number of bytes of the * alignment prerequisite (< 4 bytes) are wasted. This effect - * becomes negligable for big sizes of chunkSize. + * becomes negligible for big sizes of chunkSize. * * \tparam T The type that is allocated by us. * \tparam s The size of a memory chunk in bytes.