diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-01-30 20:27:02 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-01-30 20:27:02 +0000 |
commit | a338c903ca8d97a1e40f0b3d97731aedc70654a1 (patch) | |
tree | 131638756749f8841f76ed9c5790f20234474f0d /src | |
parent | bc88a11b2a64ee389f1eb29eb30487fc5f22a475 (diff) | |
download | gnunet-a338c903ca8d97a1e40f0b3d97731aedc70654a1.tar.gz gnunet-a338c903ca8d97a1e40f0b3d97731aedc70654a1.zip |
-fix #4151
Diffstat (limited to 'src')
-rw-r--r-- | src/include/gnunet_common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/gnunet_common.h b/src/include/gnunet_common.h index d15bb1a8a..3d7dede17 100644 --- a/src/include/gnunet_common.h +++ b/src/include/gnunet_common.h | |||
@@ -825,7 +825,7 @@ GNUNET_ntoh_double (double d); | |||
825 | /** | 825 | /** |
826 | * @ingroup memory | 826 | * @ingroup memory |
827 | * Wrapper around free. Frees the memory referred to by ptr. | 827 | * Wrapper around free. Frees the memory referred to by ptr. |
828 | * Note that is is generally better to free memory that was | 828 | * Note that it is generally better to free memory that was |
829 | * allocated with #GNUNET_array_grow using #GNUNET_array_grow(mem, size, 0) instead of #GNUNET_free. | 829 | * allocated with #GNUNET_array_grow using #GNUNET_array_grow(mem, size, 0) instead of #GNUNET_free. |
830 | * | 830 | * |
831 | * @param ptr location where to free the memory. ptr must have | 831 | * @param ptr location where to free the memory. ptr must have |