diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
index 5e6b3292aa707036e34bd19d62690f5b17a128da..e31c605d0fbe328e1e3b210ee89a42260f7c5de9 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
@@ -69,9 +69,11 @@ extern void*  __e_acsl_mspace_calloc(mspace msp, size_t, size_t);
 extern void*  __e_acsl_mspace_realloc(mspace msp, void*, size_t);
 extern void*  __e_acsl_mspace_aligned_alloc(mspace, size_t, size_t);
 extern int    __e_acsl_mspace_posix_memalign(mspace, void **, size_t, size_t);
+extern void*  __e_acsl_mspace_least_addr(mspace);
 
 #define create_mspace          __e_acsl_create_mspace
 #define destroy_mspace         __e_acsl_destroy_mspace
+#define mspace_least_addr      __e_acsl_mspace_least_addr
 #define mspace_malloc          __e_acsl_mspace_malloc
 #define mspace_free            __e_acsl_mspace_free
 #define mspace_calloc          __e_acsl_mspace_calloc