diff --git a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel_api.h b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel_api.h
index 2805f60fb51a05929cf95ed9d5630ac9b2f0fdef..6aa80fd19c843fd21bb5e403b86e7e77f17c73fe 100644
--- a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel_api.h
@@ -69,10 +69,6 @@ void  __add_element(struct _block *);
    we suppose that such a block exists, but we could return NULL if not */
 struct _block * __get_exact(void *);
 
-/* return the block B such as : begin addr of B > ptr
-   or NULL if such a block does not exist */
-struct _block * __get_next(void *);
-
 /* return the block B containing ptr, such as :
    begin addr of B <= ptr < (begin addr + size) of B
    or NULL if such a block does not exist */