diff --git a/dune/common/poolallocator.hh b/dune/common/poolallocator.hh index 2c5f7924c91fd5a1d53797c5a1c2ba1311e905fe..e55368e8ac6d47bf61d46f76c44e8ae30d4cf35d 100644 --- a/dune/common/poolallocator.hh +++ b/dune/common/poolallocator.hh @@ -313,7 +313,7 @@ namespace Dune /** * @brief Free objects. * - * Does not call the contructor! + * Does not call the destructor! * @param n The number of object to free. Has to be one! * @param p Pointer to the first object. */