From 0559aec163d61b51c894ab87a9f717cc7976acd9 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 4 Jan 2017 18:23:51 +0100
Subject: [PATCH] Fix typo in visit.ml
---
src/plugins/e-acsl/visit.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 021188aee33..2a76fd3872c 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 ()
--
GitLab