diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2018-09-24 05:25:00 -0700 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2018-09-27 19:59:44 +0000 |
commit | ec11b13a21b2becc1d1bd746a04624d17b26583f (patch) | |
tree | f3b432a3713a8edd2041ff025157d7b0803be580 /src/vppinfra/pool.h | |
parent | 7d426535b4e98731193cc0265b83f2336dcdf5b3 (diff) |
Trivial: Cleanup some typos.
This is a new commit for code under a different maintainer.
Change-Id: I79fa403fec6a312238a9a4b18b35dbcafaa05439
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/vppinfra/pool.h')
-rw-r--r-- | src/vppinfra/pool.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vppinfra/pool.h b/src/vppinfra/pool.h index 2b8e0581e38..692702247ea 100644 --- a/src/vppinfra/pool.h +++ b/src/vppinfra/pool.h @@ -493,7 +493,7 @@ do { \ } /** - * @brief Remove all elemenets from a pool in a safe way + * @brief Remove all elements from a pool in a safe way * * @param VAR each element in the pool * @param POOL The pool to flush |