From cbcc598b8ade31388f3119daae324cd41ee9c720 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carsten=20Gr=C3=A4ser?= <graeser@dune-project.org>
Date: Wed, 2 Dec 2009 10:07:31 +0000
Subject: [PATCH] Fix file doc: PoolAllocator!=ArrayList

[[Imported from SVN: r5728]]
---
 dune/common/poolallocator.hh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/dune/common/poolallocator.hh b/dune/common/poolallocator.hh
index a9e91bd15..2c3905137 100644
--- a/dune/common/poolallocator.hh
+++ b/dune/common/poolallocator.hh
@@ -51,10 +51,8 @@ namespace Dune
 {
   /**
    * @file
-   * This file implements the class ArrayList which behaves like
-   * dynamically growing array together with
-   * the class ArrayListIterator which is random access iterator as needed
-   * by the stl for sorting and other algorithms.
+   * This file implements the classes Pool and PoolAllocator providing
+   * memory allocation for objects in chunks.
    * @author Markus Blatt
    */
   /**
-- 
GitLab