And remove some trailing spaces

jozef-mokry · Mar 29, 2016 · 43af209 · 43af209
1 parent 495cfcb
commit 43af209
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/util/pool.hh b/util/pool.hh
@@ -30,7 +30,7 @@ class Pool {
       return ret;
     }
 
-    /** Extend (or contract) the most recent allocation.  
+    /** Extend (or contract) the most recent allocation.
      * @param base The base pointer of the allocation. This must must have been
      *   returned by the MOST RECENT call to Allocate or Continue.
      * @param additional Change in the size.