diff --git a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
index 072e804e630cbc9cef95fa021dbe936d056c25da..ae8d30bfa8bf158d55a5ec3279c764b55aee3aa7 100644
--- a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
@@ -446,7 +446,7 @@ static void shadow_alloca(void *ptr, size_t size) {
 
   unsigned int i, j = 0, k = 0;
   if (IS_LONG_BLOCK(size)) { /* Long blocks */
-	  unsigned int i, j = 0, k = 0;
+    unsigned int i, j = 0, k = 0;
     int boundary = LONG_BLOCK_BOUNDARY(size);
     for (i = 0; i < boundary; i += LONG_BLOCK) {
       /* Set-up a secondary shadow segment */