From 3b6d001042c54fc7f352c0ccf713be8ba2bf9374 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 24 Feb 2017 15:31:35 +0100
Subject: [PATCH] fix indentation
---
.../e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 072e804e630..ae8d30bfa8b 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 */
--
GitLab