Fixed minor indentation and stylistic issues in visit.ml and

    doc/Changelog

src/plugins/e-acsl/doc/Changelog

@@ -15,8 +15,8 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--* E-ACSL		[2015/08/12] Fix bug #0001817: Literal strings in global
-			arrays with compound initializers are not correctly initialized.
+-* E-ACSL       [2015/08/12] Fix bug #1817 about incloorect initialization of
+	        literal strings in global in arrays with compound initializers.
 -* E-ACSL       [2015/11/06] Fix a crash occuring when using a recent libc
 	        while GMP headers provided by E-ACSL are used.
 

src/plugins/e-acsl/visit.ml

@@ -732,7 +732,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
         (fun e ->
           let e, env = self#literal_string !function_env e in
           function_env := env;
-        e)
+          e)
     end else
       Cil.SkipChildren