diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 021188aee335d85be440dc7e175fa75c94aeed49..2a76fd3872c10d5bf640501100b1143ed2d99cf3 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -246,8 +246,7 @@ class e_acsl_visitor prj generate = object (self)
                   f.globals <- new_globals
                 | None ->
                   Kernel.warning "@[no entry point specified:@ \
-you must call function `__e_acsl_memory_init' by yourself.@]"
-                    fname;
+you must call function `__e_acsl_memory_init` by yourself.@]";
                   f.globals <- f.globals @ [ cil_fct ]
             in
             Project.on prj build_initializer ()