Fix typo in visit.ml

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 ()