diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
index 928b7bb68e06100649125b992d54771561c551e5..5d522cf891bdc02bead28bacd78ee7e791d7bff8 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
@@ -313,6 +313,7 @@ int __initialized (void * ptr, size_t size) {
   if(tmp->init_cpt == tmp->size)
     return true;
 
+  /* see implementation of function __initialize for details */
   for(i = 0; i < size; i++) {
     size_t offset = (uintptr_t)ptr - tmp->ptr + i;
     int byte = offset/8;