diff options
author | 2010-02-27 17:51:48 -0500 | |
---|---|---|
committer | 2010-02-27 17:51:48 -0500 | |
commit | 22fabb8940a15fd8d8d359fefc9c24a7a226a4c1 (patch) | |
tree | 710a6d15a348358d0fdb4b7a9acb6909ae2efadb | |
parent | e0830cb1b703d6eb4aa50c3f8332c11a32a7a764 (diff) |
add missing inline keyword, thanks to Eamon.
-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 5cab12ad3..5739f7ec8 100644 --- a/Eigen/src/Core/util/Memory.h +++ b/Eigen/src/Core/util/Memory.h @@ -97,7 +97,7 @@ inline void* ei_handmade_aligned_realloc(void* ptr, size_t size) } #if EIGEN_HAS_MM_MALLOC -void* ei_mm_realloc(void *ptr, size_t size, size_t old_size) +inline void* ei_mm_realloc(void *ptr, size_t size, size_t old_size) { // 0. Check if size==0 and act according to the standard. if (ptr!=0 && size==0) |