diff --git a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
index 186267dcf3bb30447ea9e299584f8737bc1d2b0e..fb0f75dc9814ff11490b75e7ba90b0b05ea6f945 100644
--- a/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
@@ -57,13 +57,6 @@ static void warning(const char* message) {
   }
 // }}}
 
-void* __e_acsl_mmodel_memset (void* dest, int val, size_t len) {
-  unsigned char *ptr = (unsigned char*)dest;
-  while (len-- > 0)
-    *ptr++ = val;
-  return dest;
-}
-
 size_t __memory_size = 0;
 /*unsigned cpt_store_block = 0;*/
 
@@ -194,7 +187,7 @@ void* __realloc(void* ptr, size_t size) {
     else {
       int nb = needed_bytes(size);
       tmp->init_ptr = malloc(nb);
-      __e_acsl_mmodel_memset(tmp->init_ptr, 0xFF, nb);
+      memset(tmp->init_ptr, 0xFF, nb);
       if(size%8 != 0)
 	tmp->init_ptr[size/8] <<= (8 - size%8);
     }
@@ -256,7 +249,7 @@ void __initialize (void * ptr, size_t size) {
   if(tmp->init_cpt == 0) {
     int nb = needed_bytes(tmp->size);
     tmp->init_ptr = malloc(nb);
-    __e_acsl_mmodel_memset(tmp->init_ptr, 0, nb);
+    memset(tmp->init_ptr, 0, nb);
   }
 
   for(i = 0; i < size; i++) {