From 0aad33574db8cf51b5f0d1a16c847e0dd35090d7 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Mon, 19 Nov 2018 17:47:53 +0100
Subject: [PATCH] Fix documentation

---
 include/deal.II/lac/vector_memory.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
-- 
2.39.5