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 343ee53f21cd8fa0a7e88add8ce154d3bda4d12d..3075c22ff861a61073fb5e64aec54514da07064d 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
@@ -384,14 +384,14 @@ void __out_of_bound(void* ptr, _Bool flag) {
 void __print_block (struct _block * ptr) {
   if (ptr != NULL) {
     printf("%p; %zu Bytes; %slitteral; [init] : %li ",
-	   (char*)ptr->ptr, ptr->size,
-	   ptr->is_litteral_string ? "" : "not ", ptr->init_cpt);
+      (char*)ptr->ptr, ptr->size,
+      ptr->is_litteral_string ? "" : "not ", ptr->init_cpt);
     if(ptr->init_ptr != NULL) {
       unsigned i;
       for(i = 0; i < ptr->size; i++) {
-	int ind = i / 8;
-	int one_bit = (unsigned)1 << (8 - (i % 8) - 1);
-	printf("%i", (ptr->init_ptr[ind] & one_bit) != 0);
+        int ind = i / 8;
+        int one_bit = (unsigned)1 << (8 - (i % 8) - 1);
+        printf("%i", (ptr->init_ptr[ind] & one_bit) != 0);
       }
     }
     printf("\n");