diff --git a/lib/Basics/Common.h b/lib/Basics/Common.h index cd2898b843..76c6d7dc59 100644 --- a/lib/Basics/Common.h +++ b/lib/Basics/Common.h @@ -210,7 +210,7 @@ static inline uint32_t TRI_64to32 (uint64_t x) { /// (cache line) will be needed soon. //////////////////////////////////////////////////////////////////////////////// -static inline TRI_MemoryPrefetch (void* p) { +static inline void TRI_MemoryPrefetch (void* p) { } ////////////////////////////////////////////////////////////////////////////////