diff options
Diffstat (limited to 'jerry-core/jmem/jmem-poolman.c')
| -rw-r--r-- | jerry-core/jmem/jmem-poolman.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jerry-core/jmem/jmem-poolman.c b/jerry-core/jmem/jmem-poolman.c index 9fded49e..7004b881 100644 --- a/jerry-core/jmem/jmem-poolman.c +++ b/jerry-core/jmem/jmem-poolman.c @@ -114,6 +114,8 @@ jmem_pools_alloc (size_t size) /**< size of the chunk */ /** * Free the chunk + * + * @return void */ extern inline void JERRY_ATTR_HOT JERRY_ATTR_ALWAYS_INLINE jmem_pools_free (void *chunk_p, /**< pointer to the chunk */ |