From d63bd2705d257bc44ea4580f322c0c68c387dc58 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Thu, 10 Dec 2015 09:50:27 +0100
Subject: [PATCH] Fixed minor indentation and stylistic issues in visit.ml and
doc/Changelog
---
src/plugins/e-acsl/doc/Changelog | 4 ++--
src/plugins/e-acsl/visit.ml | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 4010468d9d2..5f2eeba8081 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/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.
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 2c4a785a2ad..8bcb9ad95a5 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/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
--
GitLab