diff options
| author |  Alexander Neumann <Alexander.Neumann@hamburg.de> | 2020-09-07 11:42:30 +0200 |
|---|---|---|
| committer | Alexander Neumann <Alexander.Neumann@hamburg.de> | 2020-09-07 11:42:30 +0200 |
| commit | 5272106826f1b9a0b938878e06c6cebd12a26a9c (patch) | |
| tree | 67add4faa1f505c489d267d948732a3a823f5ba8 /Eigen/src/Core/util/Memory.h | |
| parent | 5f25bcf7d6918f5c6091fb4e961e5607e13b7324 (diff) | |
remove semi triggering -Wextra-semi-stmt
Diffstat (limited to 'Eigen/src/Core/util/Memory.h')
| -rw-r--r-- | Eigen/src/Core/util/Memory.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Eigen/src/Core/util/Memory.h b/Eigen/src/Core/util/Memory.h index 1b12544d2..f1d1d0fff 100644 --- a/Eigen/src/Core/util/Memory.h +++ b/Eigen/src/Core/util/Memory.h @@ -213,7 +213,7 @@ EIGEN_DEVICE_FUNC inline void aligned_free(void *ptr) */ inline void* aligned_realloc(void *ptr, std::size_t new_size, std::size_t old_size) { - EIGEN_UNUSED_VARIABLE(old_size); + EIGEN_UNUSED_VARIABLE(old_size) void *result; #if (EIGEN_DEFAULT_ALIGN_BYTES==0) || EIGEN_MALLOC_ALREADY_ALIGNED |