[E-ACSL] linting C files

src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c

@@ -167,7 +167,7 @@ void validate_shadow_layout() {
 #  endif
 
   /* Each segment has 3 partitions:
-	 - application memory
+  - application memory
      - primary/secondary shadows */
   int num_partitions = sizeof(mem_partitions) / sizeof(memory_partition *);
   int num_seg_in_part = 3;

src/plugins/e-acsl/tests/bts/issue-eacsl-105.c

 /* run.config
-   COMMENT: frama-c/e-acsl#105, test for delete block before exiting the 
+   COMMENT: frama-c/e-acsl#105, test for delete block before exiting the
     function in the presence of early return.
 */