From a835fbd08f37afd47b67d31a1bcac77d0f1daf1e Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@dune-project.org>
Date: Wed, 3 Dec 2008 06:45:39 +0000
Subject: [PATCH] spelling

[[Imported from SVN: r5387]]
---
 common/poolallocator.hh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/common/poolallocator.hh b/common/poolallocator.hh
index 5be2dc146..94786075c 100644
--- a/common/poolallocator.hh
+++ b/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 neglectable for big sizes of chunkSize.
+   * becomes negligable for big sizes of chunkSize.
    *
    * \tparam T The type that is allocated by us.
    * \tparam s The size of a memory chunk in bytes.
@@ -228,7 +228,7 @@ namespace Dune
    *
    * It uses a pool of memory chunks where the objects will be allocated.
    * This means that assuming that N objects fit into memory only every N-th
-   * rewuest for an object will result in memory allocation.
+   * request for an object will result in memory allocation.
    *
    * @warning It is not suitable
    * for the use in standard containers as it cannot allocate
@@ -251,7 +251,7 @@ namespace Dune
     enum
     {
       /**
-       * @brief The number of object to fit into one memory chunk
+       * @brief The number of objects to fit into one memory chunk
        * allocated.
        */
       size=s*sizeof(value_type)
-- 
GitLab