From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Mon, 19 Nov 2018 16:47:53 +0000 (+0100)
Subject: Fix documentation
X-Git-Tag: v9.1.0-rc1~549^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F7448%2Fhead;p=dealii.git

Fix documentation
---

diff --git a/include/deal.II/lac/vector_memory.h b/include/deal.II/lac/vector_memory.h
index 0195a30323..eabcada252 100644
--- a/include/deal.II/lac/vector_memory.h
+++ b/include/deal.II/lac/vector_memory.h
@@ -436,7 +436,7 @@ private:
   };
 
   /**
-   * Array of allocated vectors.
+   * Return an array of allocated vectors.
    */
   static Pool &
   get_pool();